Copertina

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Xiaoyan, Hadjicostis, Christoforos N.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Opacity Enforcement by Edit Functions Under Incomparable Observations
di: Duan, Wei, et al.
Pubblicazione: (2024)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)

Opacity in Discrete Event Systems: A Perspective and Overview
di: Yin, Xiang
Pubblicazione: (2026)

More on Maximally Permissive Similarity Control of Discrete Event Systems
di: Wang, Yu, et al.
Pubblicazione: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
di: Bellier, Dylan, et al.
Pubblicazione: (2026)

On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison
di: Masopust, Tomáš, et al.
Pubblicazione: (2024)

On the Complexity of the Secret Protection Problem for Discrete-Event Systems
di: Masopust, Tomáš, et al.
Pubblicazione: (2025)

New Insights into the Decidability of Opacity in Timed Automata
di: Deng, Weilin, et al.
Pubblicazione: (2025)

The Similarity Control Problem with Required Events
di: Wang, Yu, et al.
Pubblicazione: (2026)

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
di: Liu, Yingying, et al.
Pubblicazione: (2026)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)

Simulations for Event-Clock Automata
di: Akshay, S, et al.
Pubblicazione: (2022)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)

Learning Event-recording Automata Passively
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
di: Yang, Dong, et al.
Pubblicazione: (2024)

Forgetting Event Order in Higher-Dimensional Automata
di: Zouari, Safa
Pubblicazione: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
Pubblicazione: (2026)

Greybox Learning of Languages Recognizable by Event-Recording Automata
di: Majumdar, Anirban, et al.
Pubblicazione: (2024)

Engineering an LTLf Synthesis Tool
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
di: Latif, Saba, et al.
Pubblicazione: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

Controller Synthesis for Parametric Timed Games
di: Dahlsen-Jensen, Mikael Bisgaard, et al.
Pubblicazione: (2025)

Fully Generalized Reactivity(1) Synthesis
di: Ehlers, Rüdiger, et al.
Pubblicazione: (2024)

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

Verification and Attack Synthesis for Network Protocols
di: von Hippel, Max
Pubblicazione: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
di: Raskin, Jean-François, et al.
Pubblicazione: (2024)

Operational State Complexity of Block Languages
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)

Waiting Nets: State Classes and Taxonomy
di: Hélouët, Loïc, et al.
Pubblicazione: (2022)

On the Representation and State Complexity of Block Languages
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
di: Pert, Charles, et al.
Pubblicazione: (2024)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
di: German, Samuel
Pubblicazione: (2026)

Fast and General Automatic Differentiation for Finite-State Methods
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)

Efficient Constructions of Finite-State Independent Normal Pairs
di: Pulari, Subin
Pubblicazione: (2026)

History-Constrained Systems
di: Kuijer, Louwe B., et al.
Pubblicazione: (2026)

Active Inference of Extended Finite State Machine Models with Registers and Guards
di: Groz, Roland, et al.
Pubblicazione: (2026)

Reachability in Trace-Pushdown Systems
di: Köcher, Chris, et al.
Pubblicazione: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
di: Memmi, Gerard
Pubblicazione: (2025)

Responsibility in Actor-Based Systems
di: Baier, Christel, et al.
Pubblicazione: (2024)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)