计算机工程与科学2007，Vol.29Issue(2)：12-14,23,4.
RSA-CEMD协议的分析及基于串空间模型的形式化证明
Analysis of the RSA-CEMD Protocol and the Formal Proof Based on the Strand Space Model
卜凡金 1邢育红2
作者信息
- 1. 山东数字证书认证管理有限公司,山东,济南,250011
- 2. 山东交通学院,山东,济南,250023
- 折叠
摘要
关键词
公平交换协议/串空间/认证测试/形式化分析分类
信息技术与安全科学引用本文复制引用
卜凡金,邢育红..RSA-CEMD协议的分析及基于串空间模型的形式化证明[J].计算机工程与科学,2007,29(2):12-14,23,4.
