首页> 中文期刊>软件学报 >安全协议的验证逻辑

安全协议的验证逻辑

开具论文收录证明 >>

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

页面导航

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

摘要

该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.

著录项

来源
《软件学报》|2000年第2期|213-221|共9页
作者
白硕; 隋立颖; 陈庆锋; 付岩; 庄超;
展开▼
作者单位

国家智能计算机研究开发中心,北京,100080;

国家智能计算机研究开发中心,北京,100080;

国家智能计算机研究开发中心,北京,100080;

国家智能计算机研究开发中心,北京,100080;

国家智能计算机研究开发中心,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
信息安全; 协议验证; 动态逻辑; 非单调逻辑;
入库时间 2022-08-18 05:35:46

相似文献

中文文献
外文文献
专利

1. 基于计算语义的安全协议验证逻辑 [J] . 唐朝京 ,鲁智勇 ,冯超 . 电子学报 . 2014,第006期
2. 基于Horn逻辑扩展模型的时间敏感安全协议验证 [J] . 周倜 ,李梦君 ,李舟军 . 计算机研究与发展 . 2006,第0z2期
3. 实例化空间:一种新的安全协议验证逻辑的语义模型 [J] . 苏开乐 ,岳伟亚 ,陈清亮 . 计算机学报 . 2006,第009期
4. 安全协议的扩展Horn逻辑模型及其验证方法 [J] . 李梦君 ,李舟军 ,陈火旺 . 计算机学报 . 2006,第009期
5. 网络支付协议的形式化安全需求及验证逻辑 [J] . 刘怡文 ,李伟琴 . 通信学报 . 2004,第004期
6. 基于Horn逻辑扩展模型的时间敏感安全协议验证 [C] . 周倜 ,李梦君 ,李舟军 . 第二届中国可信计算与信息安全学术会议 . 2006
7. 扩展基于本地会话的安全协议验证逻辑验证基于Diffie-Hellman的密钥协商协议 [A] . 朱羡 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号