@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},
}