scientific article; zbMATH DE number 5003467

MaRDI QIDQ3369931zbMATH OpenFDO

Authors Issam Al-Azzoni, Douglas G. Down

Publication date 6 February 2006

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1024016
• Lectures on Concurrency and Petri Nets
• On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
• Applications of coloured Petri nets for functional validation of protocol designs
• Modeling Distributed Private Key Generation by Composing Petri Nets
• scientific article; zbMATH DE number 2013141

Cited in

(9)

• Design/CPN
• Vulnerability analysis of CSP based on stochastic game theory
• Modeling Distributed Private Key Generation by Composing Petri Nets
• Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
• scientific article; zbMATH DE number 1024016 (Why is no real title available?)
• scientific article; zbMATH DE number 2013143 (Why is no real title available?)
• scientific article; zbMATH DE number 2086506 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

This page was built for publication:

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