收藏本站
《计算机安全》 2009年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

串空间模型对RPC协议机密性的验证

展永刚  杨世平  
【摘要】:首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化分析与验证。
【作者单位】贵州大学计算机科学与技术学院;
【分类号】:TN918

【共引文献】
中国期刊全文数据库 前10条
1 曹进;;计算机协议安全漏洞及其防护[J];电脑知识与技术;2006年26期
2 何冰,李肖坚,夏春和,夏克俭;公平的多方不可否认协议[J];计算机工程与应用;2005年27期
3 刘家芬;周明天;;认证测试方法对X.509认证协议的分析[J];计算机工程与应用;2006年08期
4 李静;肖美华;;网络认证协议攻击的非形式化分析[J];计算机工程与应用;2006年22期
5 杨世平;李祥;;BAN逻辑在协议分析中的密钥猜测分析缺陷[J];计算机工程;2006年09期
6 刘霞,陈勇;安全协议的形式化方法概述[J];计算机与数字工程;2005年05期
7 刘勇,徐林;SSL中分级加密的实现[J];计算机与数字工程;2005年05期
8 卓继亮,蔺慧丽,李先贤;具有可信第三方的认证协议的安全性[J];计算机应用研究;2004年12期
9 曹进;严登洲;张睿;;远程教学系统中的信息安全问题与对策分析[J];教育信息化;2006年23期
10 杨明;罗军舟;;基于认证测试的安全协议分析[J];软件学报;2006年01期
中国重要会议论文全文数据库 前2条
1 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
2 贺琦;鲁昌华;侯锋平;;基于指纹识别与数字签名的身份认证系统设计[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
中国博士学位论文全文数据库 前7条
1 刘益和;应用区域边界安全体系结构的模型研究[D];四川大学;2005年
2 肖迪;混沌理论在数字产品安全中的应用研究[D];重庆大学;2005年
3 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
4 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
5 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
6 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年
7 杨华千;基于混沌与代数群的分组密码算法研究[D];重庆大学;2007年
中国硕士学位论文全文数据库 前10条
1 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
2 许建;基于Kerberos的身份认证机制研究[D];河海大学;2004年
3 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院(软件研究所);2004年
4 刘明;iPMX下TCP的设计与安全实现[D];南京理工大学;2004年
5 邓剑锋;互联网组管理安全的研究与实现[D];广西师范大学;2004年
6 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
7 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年
8 齐晓明;入侵响应技术在电力企业网络中的应用[D];东北大学;2005年
9 刘勇;多网络安全协议支持平台的研究与设计[D];四川大学;2005年
10 符学进;基于ARM和uC/OS-II的远程监控系统研究与实现[D];江苏大学;2005年
【二级参考文献】
中国期刊全文数据库 前2条
1 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
2 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
【相似文献】
中国期刊全文数据库 前10条
1 胡千;景凤宣;谢晓尧;;基于CA的移动终端安全支付系统的研究与设计[J];贵州师范大学学报(自然科学版);2011年03期
2 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
3 顾翔;张臻;邱建林;;无线安全协议设计方法研究[J];计算机科学;2011年09期
4 董学文;马建峰;牛文生;毛立强;谢辉;;基于串空间的Ad Hoc安全路由协议攻击分析模型[J];软件学报;2011年07期
5 苏桂平;孙莎;;基于CPN模型的不可否认协议分析[J];信息安全与通信保密;2011年08期
6 刘君昌;张曦煌;;KNXnet/IP协议安全性分析与改进[J];计算机应用;2011年07期
7 张磊;王辉;;无线局域网安全协议研究[J];通信技术;2011年09期
8 郑晓丽;姜迪刚;;基于无证书公钥的移动IP注册协议认证[J];通信技术;2011年08期
9 王竹;戴一奇;叶顶锋;;普适安全的基于身份的签名机制[J];电子学报;2011年07期
10 樊玫玫;冯蕾;彭长根;;一种无证书的公平交换协议[J];贵州大学学报(自然科学版);2011年03期
中国重要会议论文全文数据库 前10条
1 邹洲;胡向东;;无线传感器网络的安全问题及研究现状[A];2007年中国智能自动化会议论文集[C];2007年
2 李华敏;张志本;袁鑫昌;;SIP协议在IMS系统中应用的研究[A];中国通信学会第五届学术年会论文集[C];2008年
3 王悦;温巧燕;;H.323协议的安全性解决方案[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
4 郭亚利;;一种降低无线传感网络中能耗问题的ANT技术的研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
5 兰岚;李少谦;;互联网移动通信网络协议的探讨[A];四川省通信学会2000年学术年会论文集[C];2000年
6 生家锋;陈丹;;无线局域网WEP协议的分析和改进研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
7 齐琳;;移动IPv6概述及IPv6的安全体系结构[A];中国航海学会通信导航专业委员会2004学术年会论文集[C];2004年
8 邱慧敏;杨义先;;安全的无线传感器网络:问题和对策[A];全国网络与信息安全技术研讨会'2005论文集(下册)[C];2005年
9 黄碧香;倪桂强;马婧;;卫星网络安全探讨[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
10 钱伟中;傅翀;秦志光;陈剑勇;;移动通信安全等级协商技术研究[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 ;WEP形同虚设 三秒破解密钥[N];网络世界;2007年
2 北京邮电大学网络安全与密码学国家重点实验室 林蔚;IPSec VPN尚是主流[N];通信产业报;2007年
3 闫冰;WLAN选择最佳EAP[N];网络世界;2006年
4 李博;LSI APP3300提高实时服务交付水平[N];通信产业报;2007年
5 徐秀;GSI破解网格安全迷局[N];中国计算机报;2006年
6 戈;昂科AK2400-G100一机两用[N];电脑商报;2004年
7 ;WLAN测试的实质[N];计算机世界;2003年
8 冯文;WLAN国标出台的背后[N];计算机世界;2003年
9 安徽 高飞;网络沟通的桥梁[N];中国电脑教育报;2004年
10 陈思;同时支持AP和无线桥接[N];中国计算机报;2004年
中国博士学位论文全文数据库 前10条
1 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
2 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
3 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
4 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
5 余斌霄;无线网络的安全性[D];西安电子科技大学;2006年
6 李艳平;若干安全协议的研究与设计[D];西安电子科技大学;2009年
7 黄展;宽带卫星网络安全协议研究[D];哈尔滨工业大学;2009年
8 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
9 李平;传感器网络中对偶密钥建立算法研究[D];湖南大学;2007年
10 彭清泉;无线网络中密钥管理与认证方法及技术研究[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 郭伟;基于OPNET的Mesh安全协议仿真平台研究[D];西安电子科技大学;2010年
2 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
3 张亚男;移动自组网路由安全协议的研究[D];中南大学;2004年
4 袁鑫;因特网密钥交换协议安全性分析[D];西南交通大学;2003年
5 叶院红;IEEE802.1ae安全协议引擎的设计研究[D];浙江大学;2006年
6 蔡剑峰;无线局域网的漏洞及攻击方法研究[D];华中科技大学;2007年
7 王琳;协议安全性理论若干问题研究[D];解放军信息工程大学;2006年
8 高保胜;基于对称密码体制的移动支付安全协议研究[D];西南交通大学;2012年
9 戴雷;基于Blom矩阵方法的物联网感知层安全协议研究[D];复旦大学;2011年
10 朱振芳;WLAN安全协议与仿真方法研究[D];西安电子科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026