Reference List

Run Time Monitors

Classical Security Papers

Classical Security Papers Collection

Security Automata

Reference Monitor

  • Feng Chen and Grigore Rosu ,Java-MOP: A Monitoring Oriented Programming Environment for Java, (TACAS'05), PDF
  • Feng Chen, Marcelo d'Amorim and Grigore Rosu, Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP,Fifth Workshop on Runtime Verification, 2005, PDF

    Inlined Reference Monitors

    Irem Aktug, last update: 2006-08-27