Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation. (arXiv:2205.03170v1 [cs.CR])

Inspired by privacy problems where the behavior of a system should not be
revealed to an external curious observer, we investigate event concealment and
concealability enforcement in discrete event systems modeled as
non-deterministic finite automata under partial observation. Given a subset of
secret events in a given system, concealability holds if the occurrence of all
secret events remains hidden to a curious observer (an eavesdropper). A secret
event is said to be (at least under some executions) unconcealable (inferable)
if …

event systems under