25 search results - page 1 / 5 » Managing Authorization Provenance: A Modal Logic Based Appro... |
ICTAI
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
CCS
2010
ACM
13 years 11 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
ICNC
2005
Springer
13 years 10 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
BCS
2008
13 years 6 months ago
2008
Across the world, organizations are required to comply with regulatory frameworks dictating how to manage personal information. Despite these, several cases of data leaks and expo...
AAAI
2004
13 years 6 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...