Synthesis of opaque systems with static and dynamic masks

From MaRDI portal
Publication:453510

DOI10.1007/S10703-012-0141-9zbMath1247.68161OpenAlexW2001653139MaRDI QIDQ453510

Franck Cassez, Jérémy Dubreil, Hervé Marchand

Publication date: 27 September 2012

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0141-9




Related Items (25)

Enforcement for infinite-step opacity and K-step opacity via insertion mechanismA framework for current-state opacity under dynamic information release mechanism\(k\)-memory-embedded insertion mechanism for opacity enforcementVerification of opacity and diagnosability for pushdown systemsDecidability of opacity verification problems in labeled Petri net systemsA new approach for the verification of infinite-step and \(K\)-step opacity using two-way observersVerification and enforcement of current-state opacity based on a state space approachPrivacy-preserving co-synthesis against sensor-actuator eavesdropping intruderMatrix approach for verification of opacity of partially observed discrete event systemsInformation control in networked discrete event systems and its application to battery management systemsEnforcing opacity by insertion functions under multiple energy constraintsInfinite-step opacity and \(K\)-step opacity of stochastic discrete-event systemsProbabilistic opacity for Markov decision processesSynthesis of insertion functions for enforcement of opacity security propertiesComplexity of detectability, opacity and A-diagnosability for modular discrete event systemsSynthesis of sensor deception attacks at the supervisory layer of cyber-physical systemsA general approach for optimizing dynamic sensor activation for discrete event systemsCurrent-state opacity enforcement in discrete event systems under incomparable observationsEnforcement of opacity by public and private insertion functionsComparing the notions of opacity for discrete-event systemsEnhancement of opacity for distributed state estimation in cyber-physical systemsEnforcing current-state opacity through shuffle and deletions of event observationsOnline verification of \(K\)-step opacity by Petri nets in centralized and decentralized structuresDiagnosis and opacity problems for infinite state systems modeled by recursive tile systemsControl and synthesis of non-interferent timed systems




Cites Work




This page was built for publication: Synthesis of opaque systems with static and dynamic masks