dc.contributor.author | Saboori, A. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Saboori, A. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:48:14Z | |
dc.date.available | 2019-04-08T07:48:14Z | |
dc.date.issued | 2010 | |
dc.identifier.isbn | 978-1-4244-7745-6 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44828 | |
dc.description.abstract | Motivated 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.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-79953130702&doi=10.1109%2fCDC.2010.5717580&partnerID=40&md5=a7223e07e43d89f9212f4cc64ed76c85 | |
dc.subject | Discrete event systems | en |
dc.subject | Finite automata | en |
dc.subject | Sensor networks | en |
dc.subject | Computational complexity | en |
dc.subject | Stochastic discrete event systems | en |
dc.subject | Network security | en |
dc.subject | Nondeterministic finite automaton | en |
dc.subject | Opacity | en |
dc.subject | Probabilistic finite automata | en |
dc.subject | Security and privacy | en |
dc.subject | Mobile agents | en |
dc.subject | System state | en |
dc.subject | Pseudorandom generators | en |
dc.subject | Quantifiable measures | en |
dc.subject | Security requirements | en |
dc.subject | Verification method | en |
dc.title | Opacity verification in stochastic discrete event systems | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/CDC.2010.5717580 | |
dc.description.startingpage | 6759 | |
dc.description.endingpage | 6764 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |