全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

Non-repudiation protocols model based on first-order logic
基于一阶逻辑的非否认协议模型

Keywords: non-repudiation,fairness,first-order logic,formal analysis
非否认性
,公平性,一阶逻辑,形式化分析

Full-Text   Cite this paper   Add to My Lib

Abstract:

In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built. The Zhou-Gollmann fair non-repudiation protocol was analyzed with the model and a known attack to the protocol was found. The results show that our model is valid and correct.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133