电子科技Issue(5)：21-24,4.
一种用于密码协议形式化验证的简单逻辑
A Logic for Formal Verification and Design of Cryptographic Protocols
陈玉涛 1贾步忠1
作者信息
- 1. 陕西财经职业技术学院,陕西,咸阳,712000
- 折叠
摘要
关键词
密码协议/形式化验证/协议设计/SVD逻辑/通道分类
信息技术与安全科学引用本文复制引用
陈玉涛,贾步忠..一种用于密码协议形式化验证的简单逻辑[J].电子科技,2005,(5):21-24,4.
