Gate automata-driven run-time enforcement

DOI10.1016/J.CAMWA.2011.08.046zbMATH Open1238.68073OpenAlexW2085287288MaRDI QIDQ418362FDOQ418362

Authors: Gabriele Costa, Ilaria Matteucci 

Publication date: 28 May 2012

Published in: Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2011.08.046

Recommendations

• Runtime verification based on register automata
• Specification and optimal reactive synthesis of run-time enforcement shields
• Specification and optimal reactive synthesis of run-time enforcement shields
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Compositional runtime enforcement revisited
• Runtime enforcement of timed properties revisited
• Runtime verification for dynamic architectures
• Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms

zbMATH Keywords

interface automatacontract monitoringgate automatarun-time enforcementsecurity-by-contract-with-trust

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• ConSpec - A formal language for policy specification
• Usage Automata

Uses Software

• ConSpec

This page was built for publication: Gate automata-driven run-time enforcement

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