Formal specification and validation of security policies

DOI10.1007/978-3-642-27901-0_12MaRDI QIDQ2889828zbMATH OpenOpenAlexFDO

Authors Tony Bourdier, Horatiu Cirstea, M. Jaume, Hélène Kirchner

Publication date 8 June 2012

Published in Foundations and Practice of Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-27901-0_12

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Graph-based specification of access control policies
• Graph transformations for the specification of access control policies
• ConSpec - A formal language for policy specification
• Component-Based Security Policy Design with Colored Petri Nets
• Towards an Integrated Formal Analysis for Security and Trust

Cited in

(12)

• A graph-based framework for the analysis of access control policies
• ConSpec - A formal language for policy specification
• Formal Enforcement of Security Policies on Parallel Systems with Risk Integration
• Specifying and verifying organizational security properties in first-order logic
• Component-Based Security Policy Design with Colored Petri Nets
• A novel logic-based automatic approach to constructing compliant security policies
• scientific article; zbMATH DE number 1500475 (Why is no real title available?)
• scientific article; zbMATH DE number 2100573 (Why is no real title available?)
• A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
• A framework for the analysis of access control policies with emergency management
• Formal requirements for utility and value functions for security‐related decisions
• Applications and Theory of Petri Nets 2005

Describes a project that uses

Uses Software

• LUPS
• Maude

This page was built for publication: Formal specification and validation of security policies

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