UML specification of access control policies and their formal verification.
Manuel KochFrancesco Parisi-PresiccePublished in: Softw. Syst. Model. (2006)
Keyphrases
- formal verification
- access control policies
- access control
- conflict resolution
- model checking
- access control systems
- distributed environment
- security policies
- formal methods
- model checker
- automated verification
- fine grained
- formal language
- software systems
- software engineering
- modeling language
- conceptual modeling
- uml diagrams
- object oriented
- trust negotiation
- software development
- sequence diagrams
- metamodel
- temporal logic
- formal specification
- security mechanisms
- conceptual models
- artificial intelligence
- digital libraries