Strong current-state and initial-state opacity of discrete-event systems


Abstract in English

Opacity, as an important property in information-flow security, characterizes the ability of a system to keep some secret information from an intruder. In discrete-event systems, based on a standard setting in which an intruder has the complete knowledge of the systems structure, the standa

Download