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 | 2011 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44827 | |
dc.description.abstract | Motivated by security and privacy considerations in a variety of applications of discrete event systems, we describe and analyze the computational complexity required for verifying the notion of K-step opacity for systems that are modeled as nondeterministic finite automata with partial observation on their transitions. Specifically, a system is K-step opaque if, at any specific point within the last K observations, the entrance of the system state to a given set of secret states remains opaque (uncertain) to an intruder who has complete knowledge of the system model and observes system activity through some natural projection map. We provide two methods for verifying K-step opacity using two different state estimator constructions, and analyze the computational complexity of both. © 2011 IEEE. | en |
dc.source | IEEE Transactions on Automation Science and Engineering | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-79960119043&doi=10.1109%2fTASE.2011.2106775&partnerID=40&md5=f62a01dbbd847d905c30cf650d91f283 | |
dc.subject | State estimation | en |
dc.subject | Computational complexity | en |
dc.subject | Natural projections | en |
dc.subject | Discrete-event systems | en |
dc.subject | Nondeterministic finite automaton | en |
dc.subject | Opacity | en |
dc.subject | Finite automata | en |
dc.subject | Security and privacy | en |
dc.subject | Wireless sensor networks | en |
dc.subject | Partial observation | en |
dc.subject | System models | en |
dc.subject | System state | en |
dc.subject | State estimators | en |
dc.subject | Security information | en |
dc.subject | Wireless sensor | en |
dc.title | Verification of K-step opacity and analysis of its complexity | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TASE.2011.2106775 | |
dc.description.volume | 8 | |
dc.description.issue | 3 | |
dc.description.startingpage | 549 | |
dc.description.endingpage | 559 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | IEEE Trans.Autom.Sci.Eng. | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |