Optimal Secret Protections in Discrete-Event Systems

DOI10.1109/TAC.2021.3091438MaRDI QIDQ5092185zbMATH OpenOpenAlexFDO

Authors Ziyue Ma, Kai Cai

Publication date 28 July 2022

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2021.3091438

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Recommendations

• Security invariants in discrete transition systems
• Verification of initial-state opacity in security applications of discrete event systems
• Global Computing
• scientific article; zbMATH DE number 1693541
• Optimal linear multiparty conditional disclosure of secrets protocols
• Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
• Security against covert adversaries: Efficient protocols for realistic adversaries
• Security Against Covert Adversaries: Efficient Protocols for Realistic Adversaries

Cited in

(5)

• Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
• Sensor deception attacks against security in supervisory control systems
• Offline supervisory control synthesis: taxonomy and recent developments
• On robust supervisory control of metric discrete event systems for scLTL specifications
• On the secret protection problem in discrete-event systems

This page was built for publication: Optimal Secret Protections in Discrete-Event Systems

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