SSL协议的扩展Rubin逻辑形式化分析

李秋山; 胡游君

首页> 中文期刊> 《计算机工程与设计》 >SSL协议的扩展Rubin逻辑形式化分析

SSL协议的扩展Rubin逻辑形式化分析

开具论文收录证明 >>

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

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1].而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有"动作",不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法.

著录项

来源
《计算机工程与设计》 |2007年第16期|3852-38553859|共5页
作者
李秋山; 胡游君;
展开▼
作者单位

燕山大学;

信息工程学院计算机系;

河北;

秦皇岛;

066004;

燕山大学;

信息工程学院计算机系;

河北;

秦皇岛;

066004;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.04;
关键词
安全协议; Rubin逻辑; SSL协议; 形式化分析; 非单调密码协议;

相似文献

中文文献
外文文献
专利

1. 基于Rubin逻辑的SSL协议安全性分析 [J] . 徐洋 ,谢晓尧 ,汪学明 . 微计算机信息 . 2008,第030期
2. 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理 [J] . 刘炜 ,徐文杰 ,唐英英 . 计算机科学 . 2014,第001期
3. 基于扩展CS逻辑的非否认协议形式化分析方法 [J] . 王鹃 ,刘珺n ,张焕国 . 计算机科学 . 2010,第005期
4. 基于PMI的SSL协议改进设计及形式化分析 [J] . 余胜生 ,曹相敏 ,周敬利 . 计算机工程与科学 . 2005,第006期
5. 802.16e中双重EAP认证的Rubin逻辑分析 [J] . 刘丽明 ,潘进 ,王松 . 现代电子技术 . 2009,第005期
6. 应用Rubin逻辑分析Andrew安全RPC协议 [C] . 徐洋 ,谢晓尧 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. 安全协议的Rubin逻辑及有色Petri网分析方法研究与应用 [A] . 徐洋 . 2010

SSL协议的扩展Rubin逻辑形式化分析

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅