Formal specification and validation of security policies
From MaRDI portal
Publication:2889828
DOI10.1007/978-3-642-27901-0_12zbMATH Open1302.94036OpenAlexW1560383651MaRDI QIDQ2889828FDOQ2889828
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
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 (11)
- A framework for the analysis of access control policies with emergency management
- ConSpec - A formal language for policy specification
- Title not available (Why is that?)
- A novel logic-based automatic approach to constructing compliant security policies
- A graph-based framework for the analysis of access control policies
- Formal Enforcement of Security Policies on Parallel Systems with Risk Integration
- Formal requirements for utility and value functions for security‐related decisions
- Specifying and verifying organizational security properties in first-order logic
- Component-Based Security Policy Design with Colored Petri Nets
- A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
- Applications and Theory of Petri Nets 2005
Uses Software
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)
