There are two sides to every question. Controller versus attacker

DOI10.1007/978-3-319-25527-9_20MaRDI QIDQ3460874zbMATH OpenOpenAlexFDO

Authors Fabio Martinelli, Ilaria Matteucci, Francesco Santini

Publication date 8 January 2016

Published in Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25527-9_20

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer security (68M25) 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

• Enforceable Security Policies Revisited
• Formal enforcement of security policies on concurrent systems
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• A quantitative study of two attacks
• Security policies enforcement using finite edit automata

Cites work

• A quantitative study of two attacks
• Analysis of security protocols as open systems
• Compositionality Through an Operational Semantics of Contexts
• Enforceable Security Policies Revisited
• scientific article; zbMATH DE number 1884420 (Why is no real title available?)
• Model checking usage policies
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Semiring-based constraint satisfaction and optimization
• Which security policies are enforceable by runtime monitors? A survey

This page was built for publication: There are two sides to every question. Controller versus attacker

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