ISCAS OpenIR  > 信息安全国家重点实验室
密码协议的一种基于组合推理的模型验证
其他题名model checking based on compositional reasoning for cryptographic protocols
刘怡文; 李伟琴; 冯登国
2003
发表期刊通信学报
ISSN1000-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.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
model-checking-based(200KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[刘怡文]的文章
[李伟琴]的文章
[冯登国]的文章
百度学术
百度学术中相似的文章
[刘怡文]的文章
[李伟琴]的文章
[冯登国]的文章
必应学术
必应学术中相似的文章
[刘怡文]的文章
[李伟琴]的文章
[冯登国]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。