A Unifying Decision-Making Framework to study secrecy in decentralized discrete event systems

Author

Khoumsi, Ahmed

Author_Institution

Dept. of Electr. & Comput. Eng., Univ. of Sherbrooke, Sherbrooke, QC, Canada

fYear

2015

fDate

16-19 June 2015

Firstpage

903

Lastpage

910

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Control and Automation (MED), 2015 23th Mediterranean Conference on

Conference_Location

Torremolinos

Type

conf

DOI

10.1109/MED.2015.7158873

Filename

7158873