Daniele Gorla, Matthew Hennessy, Vladimiro Sassone. Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1(3), 2005. [doi]
@article{GorlaHS05:0,
title = {Security Policies as Membranes in Systems for Global Computing},
author = {Daniele Gorla and Matthew Hennessy and Vladimiro Sassone},
year = {2005},
doi = {http://dx.doi.org/10.2168/LMCS-1(3:2)2005},
tags = {security},
researchr = {http://researchr.org/publication/GorlaHS05%3A0},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {1},
number = {3},
}