@TechReport{ligatti+:edittr,
  author =       {Jay Ligatti and Lujo Bauer and David Walker},
  title =        {Edit Automata: Enforcement Mechanisms for Run-time Security Policies},
  institution =  {Princeton University},
  year =         {2003},
  number =       {TR-681-03},
  month =        may,
  url = 	 {http://www.cs.princeton.edu/~jligatti/papers/TR-681-03.pdf}
}