| 密码协议的一种基于组合推理的模型验证 |
| 其他题名 | model checking based on compositional reasoning for cryptographic protocols
|
| 刘怡文; 李伟琴; 冯登国
|
| 2003
|
| 发表期刊 | 通信学报
 |
| ISSN | 1000-436X
|
| 卷号 | 24期号:9页码:122-127 |
| 摘要 | 将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证。1 |
| 收录类别 | CSCD
|
| 关键词 | 密码协议
形式化模型
组合推理
模型检查
|
| 部门归属 | 信息安全国家重点实验室
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:1239696
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/1964
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
刘怡文,李伟琴,冯登国. 密码协议的一种基于组合推理的模型验证[J]. 通信学报,2003,24(9):122-127.
|
| APA |
刘怡文,李伟琴,&冯登国.(2003).密码协议的一种基于组合推理的模型验证.通信学报,24(9),122-127.
|
| MLA |
刘怡文,et al."密码协议的一种基于组合推理的模型验证".通信学报 24.9(2003):122-127.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论