通信学报2021，Vol.42Issue(9)：240-253,14.DOI:10.11959/j.issn.1000−436x.2021175
基于CPN的安全协议形式化建模及安全分析方法
Formal modeling and security analysis method of security protocol based on CPN
摘要
关键词
有色Petri网/安全协议/形式化分析/状态空间/攻击路径分类
信息技术与安全科学引用本文复制引用
龚翔,冯涛,杜谨泽..基于CPN的安全协议形式化建模及安全分析方法[J].通信学报,2021,42(9):240-253,14.基金项目
国家自然科学基金资助项目(No.62162039,No.61762060) （No.62162039,No.61762060）
甘肃省高等学校科研基金资助项目(No.2017C-05) （No.2017C-05）
甘肃省科技厅重点研发计划基金资助项目(No.20YF3GA016) （No.20YF3GA016）
