论文部分内容阅读
随着信息化技术的快速发展,物联网广泛应用于各行各业,但是物联网安全通信协议的安全性不够高,而且使用非形式化的方法对通信协议的安全性进行分析也非常容易出现问题。这些问题将会严重影响物联网的安全,带来很严重的后果。为了有效解决物联网的安全问题,对通信协议的安全性进行深入研究和分析很有必要。安全通信协议在物联网中建立攻击者模型和协议主体模型,以此提高物联网通信协议的安全性。