@TechReport{bauer+:policytr,
  author = 	 {Lujo Bauer and Jarred Ligatti and David Walker},
  title = 	 {More Enforceable Security Policies},
  institution =  {Princeton University},
  year = 	 {2002},
  number = 	 {TR-649-02},
  month = 	 Jun,
  url =          {http://www.ece.cmu.edu/~lbauer/papers/policytr.pdf}
}