首页> 中文期刊> 《计算机安全》 >CCITT X.509协议的形式化分析及其改进

CCITT X.509协议的形式化分析及其改进

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法.概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析.该协议存在缺陷并对此进行了改进.

著录项

来源
《计算机安全》 |2012年第6期|50-53|共4页
作者
解颜铭; 石曙东; 翁艳琴;
展开▼
作者单位

湖北师范学院数学与统计学院,湖北黄石435000;

湖北师范学院计算机科学与技术学院,湖北黄石435000;

湖北师范学院计算机科学与技术学院,湖北黄石435000;

湖北师范学院数学与统计学院,湖北黄石435000;

湖北师范学院计算机科学与技术学院,湖北黄石435000;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
安全协议; CCITT X.509协议; 串空间模型; 认证测试;

相似文献

中文文献
外文文献
专利

1. 基于Strand Space模型的CCITT X.509协议分析 [J] . 蒋睿 ,李建华 ,潘理 . 上海交通大学学报 . 2004,第z1期
2. RFID超轻量级认证协议RCIA形式化分析与改进 [J] . 钟小妹 ,肖美华 ,李伟 . 计算机工程与科学 . 2018,第012期
3. 基于SPIN的远程证明协议的形式化分析及改进 [J] . 秦嫚蔓 ,王峥 ,王莉 . 计算机工程与应用 . 2017,第001期
4. 基于CSP的物联网David数字图书馆协议的改进与形式化分析 [J] . 吴名欢 ,程小辉 . 计算机科学 . 2014,第001期
5. 形式化分析验证一种改进的NSSK协议 [J] . 陈慧丽 ,石广田 . 兰州交通大学学报 . 2013,第001期
6. RFID超轻量级认证协议RCIA形式化分析与改进 [C] . ZHONG Xiao-mei ,钟小妹 ,XIAO Mei-hua . 2018年全国理论计算机科学学术年会 . -1
7. 基于密钥体系的OAuth 2.0改进协议形式化分析与验证 [A] . 程道雷 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号