Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting

DOI10.1016/j.entcs.2007.03.025zbMath1277.68141OpenAlexW2140724281WikidataQ115044245 ScholiaQ115044245MaRDI QIDQ2866731

Ilaria Matteucci

Publication date: 13 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.025

zbMATH Keywords

information flowpartial model checkingautomated synthesis of controllers

Mathematics Subject Classification ID

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

Related Items (1)

Runtime enforcement of timed properties revisited

Cites Work

• An automata theoretic decision procedure for the propositional mu- calculus
• Semantic models for information flow
• Analysis of security protocols as open systems
• Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules
• On the expressivity of the modal mu-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting