Steve Barker. Distributed Access Control: A Logic-Based Approach. In Vladimir Gorodetsky, Leonard J. Popyack, Victor A. Skormin, editors, Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings. Volume 2776 of Lecture Notes in Computer Science, pages 217-228, Springer, 2003. [doi]
Abstract is missing.