基于petri网模型的传感器网络安全协议形式化分析及安全性证明 - 第十四届全国Petri 网理论与应用学术年会.pdf

9 0

2026-1-10 12:31 | 查看全部阅读模式

会议论文《基于petri网模型的传感器网络安全协议形式化分析及安全性证明》发表于第十四届全国Petri网理论与应用学术年会。该文利用Petri网模型对传感器网络中的安全协议进行形式化分析，提出了一种有效的安全性证明方法，提升了协议的安全性验证水平，为无线传感器网络的安全通信提供了理论支持。

文档为pdf格式，0.19MB，总共4页。