论文部分内容阅读
要对网络体系做出重大调整,在新的协议设计之初将网络安全问题考虑在内越来越成为安全研究领域的共识.本文在国家“973”项目“一体化网络体系”的基础上,提出以具备自验证功能的地址结构实现端节点标识符,并在此基础上设计了一种新型接入机制,给出了相应的协议流程和协议格式,有效保障了“一体化网络体系”中信息源的真实性.最后使用SVO形式化逻辑对其安全性进行了详细的证明.