浏览全部资源
扫码关注微信
1. 北京航空航天大学计算机科学与工程系
2. 中科院软件所信息安全国家重点实验室 北京100083
3. 北京100080
纸质出版日期:2003
移动端阅览
[1]刘怡文,李伟琴,冯登国.密码协议的一种基于组合推理的模型验证[J].通信学报,2003(09):122-127.
[1]刘怡文,李伟琴,冯登国.密码协议的一种基于组合推理的模型验证[J].通信学报,2003(09):122-127. DOI:
DOI:
将密码协议与协议中用到的密码算法视为一个系统
基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法
证明了该规则的正确性
实现了密码协议系统的模型验证
并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例
利用该组合推理技术对密码协议系统进行了安全验证。1
0
浏览量
126
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构