Concurrent secrets

DOI10.1007/S10626-007-0020-5MaRDI QIDQ2465424zbMATH OpenOpenAlexFDO

Authors Marek Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Eric Badouel, Philippe Darondeau

Publication date 4 January 2008

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-007-0020-5

zbMATH Keywords

AutomataComputer securityConcurrencyOpacitySupervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Controllability (93B05) Observability (93B07) Discrete-time control/observation systems (93C55)

Recommendations

• Enforcing opacity of regular predicates on modal transition systems
• Verifying secrets and relative secrecy
• Opacity for linear constraint Markov chains
• Active opacity of discrete-event systems
• Synthesis of opaque systems with static and dynamic masks

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(36)

• Infinite-step opacity and K-step opacity of stochastic discrete-event systems
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Diagnosability of repairable faults
• Probabilistic system opacity in discrete event systems
• On-line verification of current-state opacity by Petri nets and integer linear programming
• Comparing the notions of opacity for discrete-event systems
• Enforcing current-state opacity through shuffle and deletions of event observations
• Usability aware secret protection with minimum cost
• Online verification of K-step opacity by Petri nets in centralized and decentralized structures
• Using subobservers to synthesize opacity-enforcing supervisors
• Information control in networked discrete event systems and its application to battery management systems
• Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
• Enforcing opacity of regular predicates on modal transition systems
• Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
• Verification of opacity and diagnosability for pushdown systems
• Decidability of opacity verification problems in labeled Petri net systems
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• A novel approach for supervisor synthesis to enforce opacity of discrete event systems
• Dynamic Observers for the Synthesis of Opaque Systems
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Synthesis of opaque systems with static and dynamic masks
• Verification of initial-state opacity in security applications of discrete event systems
• Hyper partial order logic
• Secret inference and attacktability analysis of discrete event systems
• Game current-state opacity formulation in probabilistic resource automata
• Active opacity of discrete-event systems
• Matrix approach for verification of opacity of partially observed discrete event systems
• Verifying weak and strong \(k\)-step opacity in discrete-event systems
• Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
• Synthesis of obfuscation policies to ensure privacy and utility
• Complexity of the opacity algorithm in document-centric workflow systems
• Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems
• Opacity of artifacts in a workflow system
• Opacity of discrete event systems and its applications
• Verification and enforcement of strong state-based opacity for discrete-event systems
• Enforcement and validation (at runtime) of various notions of opacity

This page was built for publication: Concurrent secrets

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