Title :
A Unifying Decision-Making Framework to study secrecy in decentralized discrete event systems
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Sherbrooke, Sherbrooke, QC, Canada
Abstract :
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.
Keywords :
decision making; discrete event systems; multivariable systems; observers; centralized architecture; decentralized discrete event systems; information-flow property; observers; secrecy preservation; secrecy study; unifying decision-making framework; Computational modeling; Computer architecture; Decision making; Discrete-event systems; Observers; Prognostics and health management; Supervisory control; decentralized architectures; discrete event systems (DES); secrecy; tractability; unifying decision-making framework (UDMF); weak-secrecy; well-formed architecture;
Conference_Titel :
Control and Automation (MED), 2015 23th Mediterranean Conference on
Conference_Location :
Torremolinos
DOI :
10.1109/MED.2015.7158873
