Enforceable Security Policies Revisited

DOI10.1007/978-3-642-28641-4_17zbMath1354.68165OpenAlexW171789319MaRDI QIDQ2894329

Felix Klaedtke, Eugen Zălinescu, Vincent Jugé, David A. Basin

Publication date: 29 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28641-4_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

There are Two Sides to Every Question ⋮ Real-time policy enforcement with metric first-order temporal logic ⋮ Runtime enforcement of timed properties using games ⋮ Runtime enforcement of timed properties revisited

This page was built for publication: Enforceable Security Policies Revisited