日期：2024年08月21日
编辑：ad201107111759308692
作者：无忧论文网
点击次数：41
论文价格：150元/篇
论文编号：lw202408181611481886
论文字数：33566
所属栏目：楼宇自控论文
论文地区：中国
论文语种：中文
论文用途：硕士毕业论文 Master Thesis
型。利用CPN Tools生成安全评估模型的状态空间报告，再结合不同的CPN模型分析方法对协议模型进行安全性评估，得出相应的分析结果，最后通过工具自带的预定义查询函数找出协议设计中存在的安全漏洞及其存在的原因。
参考文献（略）
