收藏本站
《北京交通大学学报》 2011年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

分离机制下一种互联网安全接入方法

王凯  高阳阳  秦雅娟  
【摘要】:重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明.

【参考文献】
中国期刊全文数据库 前1条
1 吴建平;任罡;李星;;构建基于真实IPv6源地址验证体系结构的下一代互联网[J];中国科学(E辑:信息科学);2008年10期
【共引文献】
中国期刊全文数据库 前10条
1 李月寒;郑议天;;信息安全关键技术演示系统的设计与实现[J];合肥师范学院学报;2008年06期
2 李兰翠;孟博;;网络投票协议[J];长江大学学报(自然科学版)理工卷;2008年03期
3 桑林琼;王玉柱;;具有零知识特性的身份认证方案设计及分析[J];重庆科技学院学报(自然科学版);2008年04期
4 胡焰智;马大玮;田增山;;一种基于移动公网的安全专网认证与密钥协商方案[J];电讯技术;2008年03期
5 葛玮;谢坚;刘斌;;基于终端的计算机网络防御体系技术小析[J];江西电力职业技术学院学报;2011年01期
6 余磊;顾维娜;王猛;;基于串空间极小元理论的改进Woo-Lam协议的认证性分析[J];电脑编程技巧与维护;2010年04期
7 杨杰;;基于串空间理论的kerberos协议的安全性分析[J];电脑编程技巧与维护;2010年04期
8 周军;;计算机网络攻击与防御浅析[J];电脑知识与技术(学术交流);2007年18期
9 胡声洲;罗南;卢震辉;;安全协议重放攻击的关联性分析[J];电脑知识与技术(学术交流);2007年20期
10 周鹏;杨世平;时翠梅;;基于SVO逻辑的3G AKA协议形式化分析[J];电脑知识与技术;2008年S2期
中国重要会议论文全文数据库 前7条
1 胡远锋;;数字签名原理浅析及其在网上银行的应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
2 王远敏;汪学明;;一种改进的含离线可信第三方多方不可否认协议[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 范伟;;A(0)协议的攻击分析及改进[A];“军事通信与信息网络技术发展”研讨会论文集(下册)[C];2007年
4 王斌君;韦杨;巩荣;;B/S环境下反网络钓鱼双向身份鉴别系统的设计与实现[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年
5 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
6 王政;郑君杰;;基于符号模型检测的安全协议验证[A];2011年青年通信国际会议论文集[C];2011年
7 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 王强华;基于公共信道信令模型的网格体系结构研究[D];西北大学;2006年
4 冯国柱;PKI关键技术研究及其应用[D];国防科学技术大学;2006年
5 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
6 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
7 周治国;任播技术的研究[D];吉林大学;2008年
8 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
9 涂睿;位置与标识分离网络体系结构及关键机制研究[D];国防科学技术大学;2009年
10 陈广辉;公平交易协议与协议公平性研究[D];北京邮电大学;2008年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
3 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
4 李长军;企业级复合式数据保护系统关键技术的研究[D];电子科技大学;2010年
5 鲁文静;异构无线融合网络中通用接入认证协议研究[D];解放军信息工程大学;2009年
6 罗凌;基于轻量级J2EE的干部信息管理平台的设计及实现[D];解放军信息工程大学;2009年
7 于涛;基于数字证书的安全聊天室的设计与实现[D];吉林大学;2006年
8 陆国栋;基于IPSec VPN的安全性研究[D];华东师范大学;2006年
9 杜春燕;基于PKI/ECC的IKEv2协议研究与实现[D];苏州大学;2006年
10 张一嘉;军用信息系统安全传输技术研究[D];哈尔滨工业大学;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026