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