北京交通大学学报
北京交通大學學報
북경교통대학학보
JOURNAL OF NORTHERN JIAOTONG UNIVERSITY
2011年
2期
42-47
,共6页
身份与位置分离网络%源地址真实性%安全接入方法%终端身份标识%SVO形式化逻辑
身份與位置分離網絡%源地阯真實性%安全接入方法%終耑身份標識%SVO形式化邏輯
신빈여위치분리망락%원지지진실성%안전접입방법%종단신빈표식%SVO형식화라집
重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明.
重點研究身份與位置分離機製下源地阯真實性保障方麵的方法,提齣瞭身份與位置分離網絡中唯一且不變的終耑身份標識EID結構,併設計瞭一種保障源地阯真實性的安全接入方法,併且給齣瞭相應的協議流程和協議格式,保證瞭身份與位置分離網絡中源地阯即終耑身份標識EID的真實性.最後使用SVO形式化邏輯對其安全性進行瞭證明.
중점연구신빈여위치분리궤제하원지지진실성보장방면적방법,제출료신빈여위치분리망락중유일차불변적종단신빈표식EID결구,병설계료일충보장원지지진실성적안전접입방법,병차급출료상응적협의류정화협의격식,보증료신빈여위치분리망락중원지지즉종단신빈표식EID적진실성.최후사용SVO형식화라집대기안전성진행료증명.