密码协议的分层安全需求及验证

刘怡文; 李伟琴

首页> 中文期刊> 《北京航空航天大学学报》 >密码协议的分层安全需求及验证

密码协议的分层安全需求及验证

开具论文收录证明 >>

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

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.

著录项

来源
《北京航空航天大学学报》 |2002年第5期|589-592|共4页
作者
刘怡文; 李伟琴;
展开▼
作者单位

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

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

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
逻辑代数 ; 形式语言 ; 定理证明 ; 模型检查 ;

相似文献

中文文献
外文文献
专利

1. 网络支付协议的形式化安全需求及验证逻辑 [J] . 刘怡文 ,李伟琴 . 通信学报 . 2004 ,第004期
2. 密码协议代码执行的安全验证分析综述 [J] . 张焕国 ,吴福生 ,王后珍 . 计算机学报 . 2018 ,第002期
3. 密码学可靠的不可否认协议辅助验证方法 [J] . 冯超 ,陈岳兵 ,张权 . 通信学报 . 2011 ,第003期
4. 基于类型的密码协议验证方法 [J] . 李薇 . 计算机应用与软件 . 2009 ,第010期
5. 密码协议验证中的Petri网方法 [J] . 郭祥法 ,程震 . 计算机工程与设计 . 2007 ,第006期
6. 基于规划系统的密码协议安全性验证机制研究 [C] . 赵宇 ,王亚弟 ,韩继红 . 第五届中国信息和通信安全学术会议 . 2007
7. 基于有色Petri网的密码协议形式化分析与验证的研究 [A] . 张建波 . 2007

密码协议的分层安全需求及验证

摘要

著录项

相似文献

相关主题

期刊订阅