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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.