Sciweavers

2655 search results - page 37 / 531
» Event Systems and Access Control
Sort
View
SP
2005
IEEE
149views Security Privacy» more  SP 2005»
15 years 7 months 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
DEXAW
2002
IEEE
99views Database» more  DEXAW 2002»
15 years 7 months ago
Ubiquitous Internet Access Control: The PAPI System
Diego R. López, Rodrigo Castro-Rojo