A Conditional Constructive Logic for Access Control and Its Sequent Calculus.
Valerio GenoveseLaura GiordanoValentina GliozziGian Luca PozzatoPublished in: TABLEAUX (2011)
Keyphrases
- access control
- sequent calculus
- cut elimination
- linear logic
- inference rules
- natural deduction
- modal logic
- fine grained
- dynamic access control
- linear time temporal logic
- data security
- access control policies
- security policies
- proof search
- wide class
- conditional probabilities
- classical logic
- role based access control
- theorem prover
- security mechanisms
- security model
- access control models
- access control mechanism
- theorem proving
- sufficient conditions
- rbac model
- access control systems
- real estate
- bayesian networks
- general purpose