Jonathan D. Pincus, Jeannette M. Wing. Towards an Algebra for Security Policies. In Gianfranco Ciardo, Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Volume 3536 of Lecture Notes in Computer Science, pages 17-25, Springer, 2005. [doi]
Abstract is missing.