Secrecy in stochastic discrete event systems

In security critical system, keeping a property of system behaviors secret from an observer (or adversary, who has a partial observation of any executed behavior) is crucial. This paper proposes two notions of secrecy for stochastic discrete event systems. The notion of S τ -Secrecy requires the set...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 11th IEEE International Conference on Networking, Sensing and Control pp. 48 - 53
Main Authors Ibrahim, Mariam, Jun Chen, Kumar, Ratnesh
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.04.2014
Subjects
Automata
Equations
Testing
Transient analysis
Online AccessGet full text
DOI10.1109/ICNSC.2014.6819598

Cover

More Information
Summary:In security critical system, keeping a property of system behaviors secret from an observer (or adversary, who has a partial observation of any executed behavior) is crucial. This paper proposes two notions of secrecy for stochastic discrete event systems. The notion of S τ -Secrecy requires the set of system traces, that reveals the secret to an observer, occurs with probability smaller than τ. A stronger notion of Increasing-S-Secrecy captures system requirement that the secrecy level become increasingly tighter as the system evolves for longer periods. Algorithms for verifying both notions are provided. An illustrative example is examined to demonstrate the proposed notions.
DOI:10.1109/ICNSC.2014.6819598