Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

arXiv:2205.03170v2 Announce Type: replace
Abstract: 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 …

arxiv concealment cs.cr cs.sy eess.sy enforcement event external non partial privacy problems secret system systems under