@TechReport{bauer+:polymertr,
  author =       {Lujo Bauer and Jay Ligatti and David Walker},
  title =        {A Language and System for Enforcing Run-time Security Policies},
  institution =  {Princeton University},
  year =         {2004},
  number =       {TR-699-04},
  month =        jan,
  url =		 {http://www.cs.princeton.edu/~jligatti/papers/polymer-tr-699-04.pdf}
}