基于petri网模型的传感器网络安全协议形式化分析及安全性证明
本文采用基于SPetri网模型的方法形式化分析了无线传感器网络安全协议,指出了其中的中间人攻击缺陷,并对协议进行了改进,对协议的安全性进行了严格的形式化证明.文章表明采用基于S_Petri网模型的方法是安全协议形式化分析和安全性证明的一种简洁有效的方法.
物联网 传感器 网络安全 Petri网模型
郭迎九 刘雪梅 邵秀风
北京城市学院信息学部
国内会议
西安
中文
1-4
2013-08-23（万方平台首次上网日期，不代表论文的发表时间）