Short version
in 3rd EATCS and (SGUC) Grand Challenge Joint Workshop on Foundations of Global Ubiquitous Computing
(FGUC '04),
London (UK), September 3-4, 2004.
Full version
in Logical Methods in Computer Science.
Formerly available as
Research Report 02/2004, Dept. Informatics, Univ. of Sussex at Brighton (UK).
@InProceedings{GHS:FGUC04, author = {D. Gorla and M. Hennessy and V. Sassone}, title = {Security Policies as Membranes in Systems for Global Computing}, editor = {J. Rathke}, booktitle = {Proc. of 3rd EATCS Workshop on Foundations of Global Ubiquitous Computing (FGUC'04)}, series = {ENTCS}, volume = {138}, number = {1}, pages = {23--42}, year = {2004}, publisher = {Elsevier}, } @Article{GHS:LMCS05, author = {D. Gorla and M. Hennessy and V. Sassone}, title = {Security Policies as Membranes in Systems for Global Computing}, journal = {Logical Methods in Computer Science}, volume = {1}, number = {3:2}, pages = {1--23}, year = {2005}, }