可形式化证明的军事物联网安全协议

摘要

一种应用于军事网联网中的安全协议，该安全协议具备形式化分析所具备的安全属性。安全协议包括4个通信主体，8个协议步骤组成。各通信主体与认证服务器建立共享密钥，与设备标识码共同完成双向认证，认证完成后，由认证服务器发放信息加密密钥，建立加密信息通道。为保证安全性，该安全协议在每次通信之前均要对通信主体实施双向认证，每次随机生成一个通信加密密钥，密钥的一次被破解不会泄露之前的通信加密的信息。