一体化网络体系架构中一种新型接入机制
卢宁宁
周华春
张宏科
1.北京交通大学,电子信息工程学院,北京,1000442.北京交通大学,电子信息工程学院,北京,1000443.北京交通大学,电子信息工程学院,北京,100044
摘要：要对网络体系做出重大调整,在新的协议设计之初将网络安全问题考虑在内越来越成为安全研究领域的共识.本文在国家"973"项目"一体化网络体系"的基础上,提出以具备自验证功能的地址结构实现端节点标识符,并在此基础上设计了一种新型接入机制,给出了相应的协议流程和协议格式,有效保障了"一体化网络体系"中信息源的真实性.最后使用SVO形式化逻辑对其安全性进行了详细的证明.
关键词：网络体系设计端节点标识符接入机制真实性SVO形式化逻辑
分类号：TP393.08(计算技术、计算机技术)
资助基金：国家自然科学基金资助项目(60870015)国家自然科学基金资助项目(60833002)国家"863计划"项目资助(2007AA01Z202)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 44-49 )
英文信息