A Process Algebraic Approach to Security Policies

Peter Ryan, Ragni Ryvold Arnesen. A Process Algebraic Approach to Security Policies. In Ehud Gudes, Sujeet Shenoi, editors, Research Directions in Data and Applications Security, IFIP WG 11.3 Sixteenth International Conference on Data and Applications Security, July 28-31, 2002, Kings College, Cambridge, UK. Volume 256 of IFIP Conference Proceedings, pages 301-312, Kluwer, 2002.

Abstract

Abstract is missing.