2024 search results - page 14 / 405 » A Logic Based Approach for Dynamic Access Control |
121
click to vote
LFCS
2009
Springer
15 years 4 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
15 years 2 months 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
15 years 3 months ago
2005
IEEE
63
Voted
JISE
2010
14 years 4 months ago
2010
95
Voted
CSFW
2012
IEEE
12 years 12 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...