Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Xiaoyan, Hadjicostis, Christoforos N.
Formato:	Preprint
Publicado:	2025
Materias:	Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Forgetting Event Order in Higher-Dimensional Automata
por: Zouari, Safa
Publicado: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
por: Guzman, Alexander Obeid
Publicado: (2026)

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

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

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

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

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

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

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

Verification and Attack Synthesis for Network Protocols
por: von Hippel, Max
Publicado: (2025)

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

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

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

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

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

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

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

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

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

History-Constrained Systems
por: Kuijer, Louwe B., et al.
Publicado: (2026)

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

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

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

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

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