首页> 中文期刊> 《计算机工程与应用》 >安全协议形式化验证方法的比较与分析

安全协议形式化验证方法的比较与分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

网络的飞速发展,使得安全问题日益突出,而身份认证协议则是安全性的基础.目前国际上的热点是安全协议的形式化验证.文章从两个角度介绍安全协议形式化验证的方法:证明与证伪.对其各自特点进行比较与分析.

著录项

来源
《计算机工程与应用》 |2001年第14期|54-57|共4页
作者
黄连生; 王新兵; 谢峰; 杨克;
展开▼
作者单位

清华大学计算机系;

清华大学计算机系;

清华大学计算机系;

清华大学计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.04;
关键词
形式化验证; 协议; 证明与证伪;

相似文献

中文文献
外文文献
专利

1. 一种安全协议的形式化验证方法 [J] . 蒋欢 ,何青 . 电子世界 . 2019,第002期
2. 一种基于SPIN的安全协议形式化验证方法 [J] . 刘虹 . 电子技术与软件工程 . 2013,第016期
3. 安全协议的形式化验证方法概述 [J] . 张慧 ,郑超美 . 计算机安全 . 2007,第001期
4. 一种基于虚拟组织的网格安全协议形式化验证方法 [J] . 赵辉 ,李明楚 ,王智慧 . 计算机工程与应用 . 2007,第024期
5. 一种安全协议的形式化验证方法 [J] . 石曙东 . 湖北师范学院学报（自然科学版） . 2004,第001期
6. 安全协议形式化分析的新进展:基于逻辑程序的验证方法 [C] . 林瀚 ,徐艳艳 ,苏开乐 . 2004年全国理论计算机科学学术年会 . 2004
7. 基于知识理论的安全协议形式化验证方法的应用——验证对称密钥交换协议 [A] . 罗方跃 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号