@InProceedings{bauer+:distprove,
  author = 	 {Lujo Bauer and Scott Garriss and Michael K. Reiter},
  title = 	 {Distributed proving in access-control systems},
  booktitle =    {Proceedings of the 2005 IEEE Symposium on Security & Privacy},
  pages =        {81--95},
  month =        may,
  year = 	 {2005},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2005/sp2005-distributed-proving.pdf},
  doi =          {10.1109/SP.2005.9},
  copyright =    {IEEE},
  publisher =    {IEEE}
}