@InProceedings{GHS:PPDP06,
  author    =   {D. Gorla and M. Hennessy and V. Sassone},
  title     =   {Inferring Dynamic Credentials for Role-based Trust Management},
  booktitle =   {Proc. of 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'06)},
  pages     =  	{213--224},
  year      =  	{2006},
  publisher =   {ACM Press},
}