IEEE - Institute of Electrical and Electronics Engineers, Inc. - Distributed proving in access-control systems

Proceedings. 2005 IEEE Symposium on Security and Privacy

Author(s): L. Bauer ; S. Garriss ; M.K. Reiter
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Oakland, CA, USA, USA
Conference Date: 8 May 2005
Page(s): 81 - 95
ISBN (Paper): 0-7695-2339-0
ISSN (Paper): 1081-6011
DOI: 10.1109/SP.2005.9
Regular:

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. (1992). We show... View More

Advertisement