Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.
Hamed ArshadRoss HorneChristian JohansenOlaf OweTim A. C. WillemsePublished in: FORTE (2022)
Keyphrases
- static analysis
- access control policies
- process algebra
- access control
- conflict resolution
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- distributed environment
- web services composition
- security policies
- communication protocols
- source code
- distributed systems
- security mechanisms
- fine grained
- role based access control
- formal language
- petri net
- regular expressions
- loosely coupled
- service composition
- temporal logic
- artificial intelligence
- security requirements
- open source
- software engineering
- web services
- information systems