论文部分内容阅读
针对战场移动装备的域间身份认证问题,基于北斗系统的精确授时功能、精确定位功能和安全实时的短报文通信功能,提出一种基于北斗的战场移动装备域间身份认证方案.设计了基于北斗的战场移动装备域间身份认证模型和域间身份认证协议.经过对协议的安全性分析表明,该协议安全可靠,可以实现域间身份认证时新管理域中的分布式CA与移动装备的双向认证,也可以实现对移动装备的双因素认证,同时具有抵抗重放攻击和防止移动装备位置信息泄露的能力.此外,该协议有效地减小了家乡域中的网络开销.基于SVO逻辑,对所设计的域间认证协议进行了形式化分析,证明了协议能够实现预期认证目标.