@PhdThesis{bauer:thesis,
  author = 	 {Lujo Bauer},
  title = 	 {Access Control for the {W}eb via Proof-carrying Authorization},
  school = 	 {Princeton University},
  year = 	 {2003},
  month = 	 nov,
  url =          {https://www.ece.cmu.edu/~lbauer/papers/thesis.pdf}
}