@InProceedings{bauer+09:xdomain,
  author =       {Lujo Bauer and Limin Jia and Michael K. Reiter and David Swasey},
  title =        { x{D}omain: {C}ross-border proofs of access},
  booktitle =    {Proceedings of the 14th ACM Symposium on Access Control Models and Technologies},
  year =         2009,
  month =        jun,
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2009/cylabtr09-xdomain.pdf}
  pages =        {43--52}, 
  doi =          {10.1145/1542207.1542216},
  copyright =    {ACM},
  publisher =    {ACM},
  note =         {(Full version appears as <a href="https://www.ece.cmu.edu/~lbauer/papers/2009/cylabtr09-xdomain.pdf">technical report CMU-CyLab-09-005</a>.)},
  keywords =     {authorization logic, language-based security}
}