Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets

DOI10.1007/978-3-540-68746-7_9MaRDI QIDQ3510858zbMATH OpenOpenAlexFDO

Authors Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau

Publication date 3 July 2008

Published in Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68746-7_9

zbMATH Keywords

formal specificationPetri netsprocess algebrassecurity protocols

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 1024016
• scientific article; zbMATH DE number 5003467
• scientific article; zbMATH DE number 1927581
• Analysis of security protocols as open systems
• Verifying security protocols modelled by networks of automata

Cited in

(4)

• scientific article; zbMATH DE number 2088418 (Why is no real title available?)
• Component-Based Security Policy Design with Colored Petri Nets
• Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets
• scientific article; zbMATH DE number 1024016 (Why is no real title available?)

Describes a project that uses

Uses Software

• Casper
• AVISPA
• Helena

This page was built for publication: Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets

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