网络安全协议的形式化分析与应用

摘要：

串空间模型(strand space)是一种有效的安全协议形式化分析工具.利用串空间模型,我们设计了一个安全电子商务协议SSECT.从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证.所设计的SSECT协议在功能和安全保证上实现了电子商务交易标准(SET)所要求的购买申请,支付认证,付款等功能.

关键词： 串空间模型 认证测试 电子商务协议 SSECT协议 网络安全协议

作者: 黄寄洪 胡振宇 吕双双

作者单位: 中国科学院软件研究所信息安全国家重点实验室(北京)

会议类型: 国内会议

会议名称: 中国计算机学会信息保密专业委员会学术年会

会议地点: 内蒙古呼伦贝尔

会议语种:中文

页码: 100-106

在线出版日期: 2002-08-01（万方平台首次上网日期，不代表论文的发表时间）