@InProceedings{fcs2002:editauto,
  author = 	 {Lujo Bauer and Jarred Ligatti and David Walker},
  title = 	 {More Enforceable Security Policies},
  booktitle = 	 {Foundations of Computer Security},
  year = 	 {2002},
  month = 	 jul,
  address =      {Copenhagen, Denmark},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/editauto-fcs02.pdf}
}