\(k\)-memory-embedded insertion mechanism for opacity enforcement

DOI10.1016/j.sysconle.2020.104785zbMath1454.93163OpenAlexW3090798789MaRDI QIDQ826781

Jianquan Lu, Rongjian Liu, Liujuan Mei

Publication date: 6 January 2021

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.sysconle.2020.104785

zbMATH Keywords

opacitynondeterministic finite automatadiscrete event systems (DES)insertion mechanism

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Computer security (68M25) Networked control (93B70)

Related Items (4)

Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ A framework for current-state opacity under dynamic information release mechanism ⋮ Secret inference and attacktability analysis of discrete event systems ⋮ Active opacity of discrete-event systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Synthesis of opaque systems with static and dynamic masks
• Synthesis of insertion functions for enforcement of opacity security properties
• Verification of initial-state opacity in security applications of discrete event systems
• Synthesis of obfuscation policies to ensure privacy and utility
• Opacity of discrete event systems and its applications
• Detectability in stochastic discrete event systems
• Trajectory detectability of discrete-event systems
• Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
• Enforcement of opacity by public and private insertion functions
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
• Synthesis of Optimal Insertion Functions for Opacity Enforcement
• Introduction to Discrete Event Systems
• Diagnosability of discrete-event systems
• Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
• Verification of Infinite-Step Opacity and Complexity Considerations

This page was built for publication: \(k\)-memory-embedded insertion mechanism for opacity enforcement