@InProceedings{GP:SPC03,
  author    =   {D. Gorla and R. Pugliese},
  title     =   {Enforcing Security Policies via Types},
  editor    =   {D. Hutter et al.},
  booktitle =   {Proc. of 1st Intern.Conf. on Security in Pervasive Computing (SPC'03)},
  series    =   {LNCS},
  volume    =  	{2802},
  pages     =  	{86--100},
  year      =  	{2003},
  publisher =   {Springer},
}