全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

查看量下载量

相关文章

更多...
-  2003 

安全协议20年研究进展

Keywords: 安全协议 设计 分析 形式化方法

Full-Text   Cite this paper   Add to My Lib

Abstract:

总结了安全协议的20年研究进展情况,指出形式化方法在安全协议的设计与分析中的重要应用.对安全协议的若干热点研究方向进行了归纳和展望

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133