Show simple item record

dc.contributor.authorSaboori, A.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorSaboori, A.en
dc.creatorHadjicostis, Christoforos N.en
dc.description.abstractMotivated by security and privacy considerations in applications of discrete event systems, various notions of opacity have been introduced. Specifically, a system is said to be current-state opaque if the entrance of the system state to a set of secret states remains opaque (uncertain) to an intruder - at least until the system leaves the set of secret states. This notion, which has been studied in non-deterministic finite automaton settings where the intruder observes a subset of events, has been shown to be useful in characterizing security requirements in many applications (including encryption using pseudo-random generators and trajectory coverage of a mobile agent in sensor networks). One limitation of these existing approaches is that they fail to provide a quantifiable measure for characterizing the degree of opacity of a given system. In this paper, we partially address this limitation by extending this framework to systems that can be modeled as probabilistic finite automata, characterizing in the process the probability of observing a violation of current-state opacity. We introduce the notion of step-based almost current-state opacity which provides a measure of opacity for a given system. We also propose a verification method for this probabilistic notion of opacity and characterize its computational complexity. ©2010 IEEE.en
dc.sourceProceedings of the IEEE Conference on Decision and Controlen
dc.sourceProceedings of the IEEE Conference on Decision and Controlen
dc.subjectDiscrete event systemsen
dc.subjectFinite automataen
dc.subjectSensor networksen
dc.subjectComputational complexityen
dc.subjectStochastic discrete event systemsen
dc.subjectNetwork securityen
dc.subjectNondeterministic finite automatonen
dc.subjectProbabilistic finite automataen
dc.subjectSecurity and privacyen
dc.subjectMobile agentsen
dc.subjectSystem stateen
dc.subjectPseudorandom generatorsen
dc.subjectQuantifiable measuresen
dc.subjectSecurity requirementsen
dc.subjectVerification methoden
dc.titleOpacity verification in stochastic discrete event systemsen
dc.description.endingpage6764Πολυτεχνική Σχολή / Faculty of EngineeringΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record