计算机工程2010，Vol.36Issue(7)：82-83,86,3.
一种安全协议的形式化分析方法
Formal Analysis Method of Security Protocol
王昕 1袁超伟1
作者信息
- 1. 北京邮电大学信息与通信工程学院,北京,100876
- 折叠
摘要
关键词
形式化分析/安全协议/BAN逻辑/NSSK协议Key words
formal analysis/security protocol/BAN logic/NSSK protocol分类
信息技术与安全科学引用本文复制引用
王昕,袁超伟..一种安全协议的形式化分析方法[J].计算机工程,2010,36(7):82-83,86,3.
