Modelling and analyzing cryptographic protocols using Petri nets

DOI10.1007/3-540-57220-1_69MaRDI QIDQ4341695zbMATH OpenFDO

Authors Benjamin B. Nieh, Stafford E. Tavares

Publication date 18 June 1997

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

Full work available at URL https://doi.org/10.1007/3-540-57220-1_69

zbMATH Keywords

cryptographic protocolsintruder modelPetri nets

Mathematics Subject Classification ID

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 5003467
• On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
• Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
• Modeling Distributed Private Key Generation by Composing Petri Nets
• Three systems for cryptographic protocol analysis

Cited in

(8)

• Vulnerability analysis of CSP based on stochastic game theory
• scientific article; zbMATH DE number 5003467 (Why is no real title available?)
• Modeling Distributed Private Key Generation by Composing Petri Nets
• Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
• Object modeling of cryptographic algorithms with UML
• scientific article; zbMATH DE number 2013143 (Why is no real title available?)
• A Petri Net Model of Handshake Protocols
• On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

This page was built for publication: Modelling and analyzing cryptographic protocols using Petri nets

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