密码协议的一种基于组合推理的模型验证

• 作者: 冯登国 刘怡文 李伟琴
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 密码协议 形式化模型 组合推理 模型检查
• 年，卷（期）: 2003,（9）
• 所属期刊栏目: 短文
• 页码范围: 122-127
• 页数: 6页
• 分类号: TP393.08
• 字数: 4898字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2003.09.017

摘要

将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型.采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题.以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘怡文	北京航空航天大学计算机科学与工程系	7	84	4.0	7.0
2	李伟琴	北京航空航天大学计算机科学与工程系	37	324	9.0	17.0