分离机制下一种互联网安全接入方法
王凯
高阳阳
秦雅娟
1.北京交通大学,下一代互联网互联设备国家工程实验室,北京,1000442.北京交通大学,下一代互联网互联设备国家工程实验室,北京,1000443.北京交通大学,下一代互联网互联设备国家工程实验室,北京,100044
摘要:重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明.
关键词:身份与位置分离网络源地址真实性安全接入方法终端身份标识SVO形式化逻辑
分类号:TP393.08(计算技术、计算机技术)
资助基金:国家"863"计划项目资助(2007AA01Z202)
论文发表日期:2011-01-01
在线出版日期:2025-08-15(本平台首次上网日期,不代表文献的发表时间)
页数:6( 42-47 )
英文信息展开
北京交通大学学报

北京交通大学学报

北大核心CSTPCD
ISSN:1673-0291
年,卷(期):2011,35(2)
所属栏目:电子信息工程