2024 search results - page 14 / 405 » A Logic Based Approach for Dynamic Access Control |
LFCS
2009
Springer
14 years 2 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
SACMAT
2003
ACM
14 years 22 days ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
JISE
2010
13 years 2 months ago
2010
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...