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

刘怡文; 李伟琴; 冯登国

首页> 中文期刊> 《通信学报》 >密码协议的一种基于组合推理的模型验证

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《通信学报》 |2003年第9期|122-127|共6页
作者
刘怡文; 李伟琴; 冯登国;
展开▼
作者单位

北京航空航天大学,计算机科学与工程系,北京,100083;

北京航空航天大学,计算机科学与工程系,北京,100083;

中科院软件所,信息安全国家重点实验室,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
密码协议; 形式化模型; 组合推理; 模型检查;

相似文献

中文文献
外文文献
专利

1. 基于安全协议操作语义模型的组合协议分析及验证 [J] . 高三海 ,董荣胜 . 桂林电子科技大学学报 . 2007,第005期
2. 一种基于协议组合的协议动态实现模型 [J] . 汪彪 ,沈苏彬 . 南京邮电大学学报（自然科学版） . 2007,第003期
3. 一种基于规划理论的密码协议形式模型 [J] . 赵宇 ,王亚弟 ,韩继红 . 计算机研究与发展 . 2008,第009期
4. 一种基于问题求解理论的密码协议形式模型 [J] . 赵宇 ,王亚弟 ,韩继红 . 计算机应用 . 2007,第002期
5. 一种用于密码协议形式化验证的简单逻辑 [J] . 陈玉涛 ,贾步忠 . 电子科技 . 2005,第005期
6. 一种基于进程代数的协议组合形式化模型 [C] . 沈苏彬 . 第十四届中国计算机学会网络与数据通信学术会议 . 2004
7. 基于模型检测技术的密码协议验证与分析 [A] . 陈大伟 . 2005

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

摘要

著录项

相似文献

相关主题

期刊订阅