Edit Automata: Enforcement Mechanisms for

@inproceedings{Ligatti2003EditAE,
  title={Edit Automata: Enforcement Mechanisms for},
  author={Jarred Adam Ligatti and Lujo Bauer and David Walker},
  year={2003}
}
We analyze the space of security policies that can be enforced by monitoring and modifying programs at run time. Our program monitors, called edit automata, are abstract machines that examine the sequence of application program actions and transform the sequence when it deviates from a specied policy. Edit automata have a rich set of transformational powers: They may terminate the application, thereby truncating the program action stream; they may suppress undesired or dangerous actions without… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS