收藏本站
《实验科学与技术》 2005年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于串空间的认证协议分析

刘培  周明天  
【摘要】:网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长。由于安全要求的多样化以及攻击方式的层出不穷,使得对网络安全协议的形式化分析效率和准确性提出了更高的要求。串空间理论(strand space cheory)和模型是当前避免状态爆炸、提高协议形式化分析效率的有效方法。本文通过一个具体的认证协议例子来说明它的特点。

【相似文献】
中国期刊全文数据库 前10条
1 ;1988年全国密码学学术会议征文[J];通信学报;1988年01期
2 姚应仕;;Smart卡,计算机网络安全的重要器件[J];信息安全与通信保密;1990年02期
3 郭江;分布式系统的安全[J];计算机工程与设计;1993年06期
4 杨新,张建中,方关宝;保密通信网的互连互通技术研究[J];信息安全与通信保密;1993年02期
5 ;SUPER MASTER计算机安全控制器——顺德高迅电子有限公司新产品介绍[J];电脑;1994年12期
6 和鸣;Internet保密性能得到增强[J];今日电子;1995年01期
7 饶妮妮,刘聪;公用网中的用户安全存取控制方案[J];电子科技大学学报;1996年02期
8 张泳天,戴英侠,荆继武;网络安全技术在OSI模型中的应用[J];中国金融电脑;1996年12期
9 金传升;个人通信中的保密与鉴别技术[J];信息安全与通信保密;1996年01期
10 刘建伟,王育民;个人通信系统中的用户登记认证[J];信息安全与通信保密;1996年02期
中国重要会议论文全文数据库 前10条
1 葛兵;;移动商务的基础——移动安全系统(WPKI)[A];中国国际移动数据与因特网技术高级研讨会论文集[C];2000年
2 单懿;;安全IP路由模型的设计[A];西部开发与系统工程——中国系统工程学会第12届年会论文集[C];2002年
3 张瑞军;陈一周;邓辉;;基于Internet电子商务的安全性探讨[A];图像 仿真 信息技术——第二届联合学术会议论文集[C];2002年
4 李莉;张顺颐;;对IEEE802.16标准安全体系扩展的探讨[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
5 曹娟;;电子商务的安全体系结构及安全技术研究[A];中国烟草行业信息化研讨会论文集[C];2004年
6 齐琳;;移动IPv6概述及IPv6的安全体系结构[A];中国航海学会通信导航专业委员会2004学术年会论文集[C];2004年
7 莫燕;张玉清;吴建耀;;对Kerberos协议的攻击及对策研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
9 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
10 厚立群;毛玉明;;无线局域网用户安全接入解决方案对比分析[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
中国重要报纸全文数据库 前10条
1 北京市科委保密委员会主办;网络信息安全与保密的层次结构[N];北京科技报;2000年
2 于卫;创造WAP上的ISP[N];计算机世界;2000年
3 李俊荣 陈建设 张勇;承包商和供应商管理[N];中国石化报;2001年
4 施明全 周保太;信息安全基石:密码[N];解放军报;2001年
5 许云霞;格式合同中造成对方人身伤害的免责条款无效[N];江苏经济报;2001年
6 本报记者 谌力;新宇:支撑起银行安全的核心[N];网络世界;2001年
7 王冬春;SSL和SET谁更有前途[N];中国计算机报;2002年
8 柴文娟;e时代的网络财务管理[N];中国计算机报;2002年
9 本报记者 胡英;在网络安全领域中国与世界同步[N];计算机世界;2002年
10 ;安全与隐私兼得[N];网络世界;2002年
中国博士学位论文全文数据库 前10条
1 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
2 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
3 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
4 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
5 张福泰;可验证秘密分享及其应用研究[D];西安电子科技大学;2001年
6 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
7 童华章;安全协议的研究与设计[D];浙江大学;2002年
8 何伟;基于改进Kerberos认证协议的远程访问VPN密码系统研究[D];浙江大学;2003年
9 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
10 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
中国硕士学位论文全文数据库 前10条
1 廖永红;基于IPSecurity的透明网络安全技术的研究和实现[D];暨南大学;2001年
2 罗卿;基于FAPKC算法的电子税务的设计与实现[D];中国科学院软件研究所;2001年
3 陈开渠;基于口令的认证:协议和应用[D];中国科学院软件研究所;2001年
4 甘杰夫;IP电话安全技术研究与实现[D];电子科技大学;2001年
5 李维民;安全技术在路由器中的应用和实现[D];电子科技大学;2001年
6 曹卫兵;基于IPSec安全协议的网卡安全技术研究[D];西北工业大学;2001年
7 王刚;基于IPSec协议的虚拟专用网(VPN)及其实现技术研究[D];西北工业大学;2001年
8 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
9 石克莹;电子商务B2B模式的研究与应用[D];甘肃工业大学;2001年
10 刘婷婷;网络化协同工作系统安全体系结构及信息传输安全[D];南京理工大学;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026