Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets

DOI10.1007/11901914_34MaRDI QIDQ3522928zbMATH OpenOpenAlexFDO

Authors Fernando Rosa-Velardo, David de Frutos Escrig

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11901914_34

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the expressiveness of mobile synchronizing Petri nets
• Coding mobile synchronizing Petri nets into rewriting logic
• Mobile Petri nets
• A Petri net semantics of a simple process algebra for mobility
• Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets

Cited in

(3)

• A model checking-based approach for security policy verification of mobile systems
• On the expressiveness of mobile synchronizing Petri nets
• Coding mobile synchronizing Petri nets into rewriting logic

This page was built for publication: Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets

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