@Article{ligatti+:editauto,
  author = 	 {Jay Ligatti and Lujo Bauer and David Walker},
  title = 	 {Edit Automata: {E}nforcement Mechanisms for Run-time Security Policies},
  journal =      {International Journal of Information Security},
  month =        feb,
  year =         {2005},
  volume =       {4},
  number =       {1--2},
  pages =        {2--16},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2005/ijis2005-editauto.pdf},
  note =         {(Published online 26 Oct 2004.)},
  doi =          {10.1007/s10207-004-0046-8},
  publisher =    {Springer},
  copyright =    {Springer-Verlag}
}