Formal modeling and security analysis method of security protocol based on CPN

Formal modeling and security analysis method of security protocol based on CPN

To solve the problem of modeling and analyzing with colored Petri net (CPN), which was determining vulnerabilities in hole location but couldn’t identify any attack path, and the problem of when the introduction of the attacker model, the number of possible message paths in the CPN formal model of s...

Full description

Saved in:
Bibliographic Details
Main Authors: Xiang GONG, Tao FENG, Jinze DU
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2021-09-01
Series:Tongxin xuebao
Subjects:
colored Petri net
security protocol
formal analysis
state space
attack path
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2021175/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2021175/

Similar Items