Colored Petri net based attack modeling

DOI10.1007/3-540-39205-X_123MaRDI QIDQ4427081zbMATH OpenFDO

Authors Shijie Zhou, Zhiguang Qin, Feng Zhang, Xianfeng Zhang, Wei Chen, Jinde Liu, Wei Chen

Publication date 18 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2639/26390715.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 4028914
• The practitioner's guide to coloured Petri nets.
• scientific article; zbMATH DE number 3858426
• Colored Petri nets and the matrix approach
• Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1

Cited in

(4)

• Evaluation of cyber security and modelling of risk propagation with Petri nets
• Petri net based context-aware service modeling and interference discovery
• On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
• Improving the quality of alerts and predicting intruder's next goal with Hidden Colored Petri-Net

This page was built for publication: Colored Petri net based attack modeling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4427081)