Enforcing Non-safety Security Policies with Program Monitors

DOI10.1007/11555827_21zbMath1487.68070OpenAlexW1574561446MaRDI QIDQ5862671

No author found.

Publication date: 9 March 2022

Published in: Computer Security – ESORICS 2005 (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.7657

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

Related Items (7)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ Provably correct runtime monitoring ⋮ Enforcement and validation (at runtime) of various notions of opacity ⋮ Real-time policy enforcement with metric first-order temporal logic ⋮ Security Policies Enforcement Using Finite Edit Automata ⋮ Execution monitoring enforcement under memory-limitation constraints ⋮ Consistently-detecting monitors

Cites Work

• Unnamed Item
• Defining liveness
• Recognizing safety and liveness
• Proving the Correctness of Multiprocess Programs

This page was built for publication: Enforcing Non-safety Security Policies with Program Monitors