A Unifying Decision-Making Framework to Study Secrecy in Decentralized Discrete Event Systems

A discrete-event system (DES) based model has been recently developed to study secrecy, that is, how an information-flow property of a system can be kept secret from observers. With such a model, a DES is observed partially by observers, and secrecy preservation of a property (on information-flow) is modeled as the impossibility for observers to determine whether executed event sequences belong or not to a given language. This model of secrecy has then been adopted to study secrecy by using a Unifying Decision-Making Framework (UDMF) which has been recently developed; a centralized architecture has been used. In the present paper, we generalize the study with decentralized architectures, and compare our results with those obtained with a centralized architecture.