Enforceable Security Policies Revisited

DOI10.1007/978-3-642-28641-4_17MaRDI QIDQ2894329zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• The enforcement of security policies for computation
• scientific article; zbMATH DE number 4195144
• Formal enforcement of security policies on concurrent systems

Cited in

(11)

• The enforcement of security policies for computation
• Runtime enforcement of timed properties using games
• Formal enforcement of security policies on concurrent systems
• Runtime enforcement of security policies on black box reactive programs
• There are two sides to every question. Controller versus attacker
• Matching Trace Patterns with Regular Policies
• scientific article; zbMATH DE number 2080689 (Why is no real title available?)
• Runtime enforcement of timed properties revisited
• Security policies enforcement using finite edit automata
• Enforcing non-safety security policies with program monitors
• Real-time policy enforcement with metric first-order temporal logic

This page was built for publication: Enforceable Security Policies Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894329)