Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets.
Krzysztof JuszczyszynPublished in: WETICE (2003)
Keyphrases
- coloured petri nets
- mandatory access control
- access control policies
- role based access control
- access control
- formal verification
- discretionary access control
- conflict resolution
- model checking
- operating system
- security policies
- fine grained
- distributed environment
- information management
- privacy policies
- information systems
- virtual enterprise
- data security
- multi domain
- database management systems
- management system