3 papers
cs.FL2026
Verification of - and Infinite-Step Strong/Weak Anonymity Using Concurrent Compositions
Jiahui Zhang, Kuize Zhang, Xiaoguang Han +1
Anonymity is an information flow property that provides privacy protection in the sense of non-uniqueness of system information at certain moments with respect to observations. The…
cs.FL2026
Order-2 bygone-state opacity of labeled finite-state automata
Kuize Zhang
In this paper, we formulate a scenario that an agent can never be sure that another agent can uniquely determine the state of a finite-state automaton based on its observations to…
cs.FL2026
A remark on diagnosability verification
Kuize Zhang
We point out three inaccuracies in paper [M.V. Moreira, T.C. Jesus, and J.C. Basilio. Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE T…