Component-Based Security Policy Design with Colored Petri Nets

DOI10.1007/978-3-642-04164-8_3zbMath1253.68242OpenAlexW1485592320MaRDI QIDQ3184744

Hélène Kirchner, Hejiao Huang

Publication date: 22 October 2009

Published in: Semantics and Algebraic Specification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04164-8_3

zbMATH Keywords

verificationspecificationcolored Petri netsecurity policyproperty-preservation

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)

Related Items (1)

Component-Based Security Policy Design with Colored Petri Nets

Uses Software

• CASL

Cites Work

• CASL: the Common Algebraic Specification Language.
• Component-Based Security Policy Design with Colored Petri Nets
• Flexible support for multiple access control policies
• Specifying and Reasoning About Dynamic Access-Control Policies
• Protection in operating systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Component-Based Security Policy Design with Colored Petri Nets