Sciweavers

3899 search results - page 141 / 780
» Argumentation for Access Control
Sort
View
SP
2005
IEEE
149views Security Privacy» more  SP 2005»
16 years 1 days ago
Distributed Proving in Access-Control Systems
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
Lujo Bauer, Scott Garriss, Michael K. Reiter
ATVA
2005
Springer
93views Hardware» more  ATVA 2005»
16 years 8 hour ago
A Static Analysis Using Tree Automata for XML Access Control
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki