Gate automata-driven run-time enforcement

DOI10.1016/J.CAMWA.2011.08.046MaRDI QIDQ418362zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Runtime verification based on register automata
• 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

Cites work

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

Describes a project that uses

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)