@InProceedings{bauer+10:constraints,
  author =       {Lujo Bauer and Limin Jia and Divya Sharma},
  title =        {Constraining credential usage in logic-based access control},
  booktitle =    {Proceedings of the 23rd IEEE Computer Security Foundations Symposium},
  month =        jul,
  year =         2010,
  copyright =    {IEEE},
  pages =        {154--168},
  publisher =    {IEEE},
  doi =          {10.1109/CSF.2010.18},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2010/csf2010-constraints.pdf},
  keywords =     {access control, language-based security},
}