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.
@inproceedings{RyanA02,
title = {A Process Algebraic Approach to Security Policies},
author = {Peter Ryan and Ragni Ryvold Arnesen},
year = {2002},
tags = {process algebra, security, algebra, systematic-approach},
researchr = {https://researchr.org/publication/RyanA02},
cites = {0},
citedby = {0},
pages = {301-312},
booktitle = {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},
editor = {Ehud Gudes and Sujeet Shenoi},
volume = {256},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {1-4020-7541-3},
}