首页> 中文期刊> 《计算机工程与科学》 >一个面向安全协议分析的非单调逻辑

一个面向安全协议分析的非单调逻辑

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

本文提出一种对安全协议进行分析的非单调逻辑.使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性.

著录项

来源
《计算机工程与科学》 |2007年第10期|1-346|共4页
作者
刘海燕; 杨朝红; 蔡红柳;
展开▼
作者单位

装甲兵工程学院信息工程系;

北京;

100072;

装甲兵工程学院信息工程系;

北京;

100072;

北京邮电大学网络与交换技术国家重点实验室;

北京;

100876;

装甲兵工程学院信息工程系;

北京;

100072;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
安全协议; 协议验证; 信念; 非单调逻辑;

相似文献

中文文献
外文文献
专利

1. 认知描述逻辑ALCKR+:描述逻辑的一个非单调扩展 [J] . 曹逸 ,徐德智 ,王建新 . 计算机科学 . 2008,第007期
2. N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展 [J] . 王淞昕 ,王飞 ,周水庚 . 计算机研究与发展 . 2005,第004期
3. 非单调性和不一致性的处理—一个基于线性逻辑的方法 [J] . 黄林鹏 ,孙永强 . 软件学报 . 1993,第004期
4. 电子商务安全协议及其非单调动态逻辑验证 [J] . 陈庆锋 ,白硕 ,王驹 . 软件学报 . 2000,第002期
5. 一种新型的安全协议分析逻辑 [J] . 石曙东 ,李之棠 . 小型微型计算机系统 . 2004,第012期
6. N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展 [C] . 王淞昕 ,王飞 ,周水庚 . 中科院自动化研究所自动化与信息技术发展战略研讨会暨2003年学术年会 . 2003
7. 一种基于BAN类逻辑的安全协议分析方法及其自动化实现 [A] . 王恩俊 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号