Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver
Published 2023 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver
Authors
Keywords
-
Journal
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Volume 68, Issue 9, Pages 5646-5652
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Online
2023-08-30
DOI
10.1109/tac.2022.3220557
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Comparing the notions of opacity for discrete-event systems
- (2021) Jiří Balun et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- Local Mean Payoff Supervisory Control for Discrete Event Systems
- (2021) Yiding Ji et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
- (2021) Xiaoyan Li et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Optimal supervisory control with mean payoff objectives and under partial observation
- (2020) Yiding Ji et al. AUTOMATICA
- Embedded Insertion Functions for Opacity Enforcement
- (2020) Christoforos Keroglou et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Enforcing opacity by insertion functions under multiple energy constraints
- (2019) Yiding Ji et al. AUTOMATICA
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- (2019) Yiding Ji et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- (2019) Xiang Yin et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- (2019) Sahar Mohajerani et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Enforcement of opacity by public and private insertion functions
- (2018) Yiding Ji et al. AUTOMATICA
- Synthesis of Obfuscation Policies to Ensure Privacy and Utility
- (2017) Yi-Chin Wu et al. JOURNAL OF AUTOMATED REASONING
- Overview of discrete event systems opacity: Models, validation, and quantification
- (2016) Romain Jacob et al. ANNUAL REVIEWS IN CONTROL
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- (2016) Yi-Chin Wu et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Synthesis of insertion functions for enforcement of opacity security properties
- (2014) Yi-Chin Wu et al. AUTOMATICA
- Current-State Opacity Formulations in Probabilistic Finite Automata
- (2013) Anooshiravan Saboori et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Synthesis of opaque systems with static and dynamic masks
- (2012) Franck Cassez et al. FORMAL METHODS IN SYSTEM DESIGN
- Opacity of discrete event systems and its applications
- (2011) Feng Lin AUTOMATICA
Find Funding. Review Successful Grants.
Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.
ExploreCreate your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create Now