@Article{ligatti+:editauto,
  author = 	 {Jay Ligatti and Lujo Bauer and David Walker},
  title = 	 {Edit Automata: Enforcement Mechanisms for Run-time Security Policies},
  journal =      {International Journal of Information Security},
  month =        feb,
  year =         {2005},
  volume =       {4},
  number =       {1--2},
  pages =        {2--16},
  publisher =    {Springer-Verlag},
  url =          {http://www.cs.princeton.edu/~jligatti/papers/editauto-ijis05.pdf}
}