Current-state opacity is formalized in safe partially observed quantum Petri nets with true-concurrency semantics and verified exactly via stabilizer formalism and targeted unfolding.
Synthesis of insertion functions for en- forcement of opacity security properties,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
Current-state opacity is formalized in safe partially observed quantum Petri nets with true-concurrency semantics and verified exactly via stabilizer formalism and targeted unfolding.