全部 标题 作者
关键词 摘要

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

查看量下载量

相关文章

更多...

Formal analysis technology of non-repudiation protocols
非否认协议形式化分析技术

Keywords: non-repudiation protocol,formal analysis,fairness
非否认协议
,形式化分析,公平性

Full-Text   Cite this paper   Add to My Lib

Abstract:

Some kinds of present formal methods of non-repudiation protocols were studied and compared. Their advantages and disadvantages were discussed. Finally, study for future development was suggested.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133