首页> 中文期刊> 《计算机应用》 >串空间模型及其认证测试方法的一种扩展与应用

串空间模型及其认证测试方法的一种扩展与应用

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议.通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法.根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性.

著录项

来源
《计算机应用》 |2008年第12期|3205-3207,3210|共4页
作者
方燕萍; 章晓芳; 张广泉;
展开▼
作者单位

苏州大学;

计算机科学与技术学院;

江苏;

苏州;

215006;

苏州大学;

计算机科学与技术学院;

江苏;

苏州;

215006;

苏州大学;

计算机科学与技术学院;

江苏;

苏州;

215006;

重庆师范大学;

数学与计算机科学学院;

重庆;

400047;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.04;
关键词
串空间模型; 认证测试; SSL3.0握手协议; 认证属性; 密码学原语;

相似文献

中文文献
外文文献
专利

1. 基于串空间模型的认证测试方法 [J] . 张玲玲 ,谢圣献 ,贾仰理 . 聊城大学学报（自然科学版） . 2015,第001期
2. 串空间模型中认证性测试方法的缺陷 [J] . 邓珍荣 ,李陶深 . 计算机科学 . 2006,第002期
3. 一种面向WSN的双向身份认证协议及串空间模型 [J] . 刘静 ,赖英旭 ,杨胜志 . 计算机科学 . 2019,第009期
4. 认证测试方法的扩展及其应用 [J] . 周清雷 ,毋晓英 . 郑州大学学报（工学版） . 2010,第003期
5. 基于扩展串空间模型的IEEE802.11i分析 [J] . 操漫成 . 计算机工程 . 2009,第010期
6. Kao Chow重复认证协议的串空间模型与分析 [C] . 徐成 ,吴开贵 ,陈明 . 第十三届全国容错计算学术会议 . 2009
7. 串空间模型及其认证测试方法的扩展与应用 [A] . 方燕萍 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号