Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.
Thumrongsak KosiyatrakulSusan OlderPolar HumennShiu-Kai ChinPublished in: MMM-ACNS (2003)
Keyphrases
- access control
- higher order logic
- higher order
- theorem prover
- fine grained
- conditional logic
- data security
- dynamic access control
- logical framework
- security policies
- distributed systems
- natural deduction
- access control policies
- role based access control
- distributed environment
- rights management
- security mechanisms
- default reasoning
- database security
- access control models
- peer to peer
- multi agent
- machine learning
- access control mechanism
- directory service
- general purpose
- usage control
- access control systems
- inference rules
- operating system
- belief revision
- security model
- nonmonotonic reasoning
- security requirements