dc.contributor.author | Keroglou, C. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.contributor.editor | Cassandras, C. G. | en |
dc.contributor.editor | Giua A. | en |
dc.contributor.editor | Giua A. | en |
dc.contributor.editor | Li Z. | en |
dc.creator | Keroglou, C. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:46:26Z | |
dc.date.available | 2019-04-08T07:46:26Z | |
dc.date.issued | 2016 | |
dc.identifier.isbn | 978-1-5090-4190-9 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43777 | |
dc.description.abstract | In many emerging security applications, a system designer frequently needs to ensure that a certain property of a given system (that may reveal important details about the system's operation) be kept secret (opaque) to outside observers (eavesdroppers or intruders). Motivated by such applications, several researchers have formalized, analyzed, and described methods to verify notions of opacity in discrete event systems of interest. This paper introduces and analyzes a notion of opacity in systems that can be modeled as probabilistic finite automata or hidden Markov models. We consider a setting where a user needs to choose a specific hidden Markov model (HMM) out of m possible (different) HMMs, but would like to hide the true system from intruders, by not allowing them to have an arbitrary level certainty as to which system has been chosen. We describe necessary and sufficient conditions (that can be checked with polynomial complexity), under which the intruder cannot distinguish the true HMM, namely, the intruder cannot achieve a level of certainty about its decision that is above a certain threshold that we can a priori compute. © 2016 IEEE. | en |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en |
dc.source | 2016 13th International Workshop on Discrete Event Systems, WODES 2016 | en |
dc.source | 2016 13th International Workshop on Discrete Event Systems, WODES 2016 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84981350736&doi=10.1109%2fWODES.2016.7497876&partnerID=40&md5=57576bf4914f014fa0224afe53b7459d | |
dc.subject | Markov processes | en |
dc.subject | Hidden markov models | en |
dc.subject | Discrete event simulation | en |
dc.subject | Trellis codes | en |
dc.subject | Polynomial complexity | en |
dc.subject | Security application | en |
dc.subject | Opacity | en |
dc.subject | Probabilistic finite automata | en |
dc.subject | Arbitrary levels | en |
dc.subject | Probabilistic systems | en |
dc.subject | System designers | en |
dc.subject | User need | en |
dc.title | Probabilistic system opacity in discrete event systems | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/WODES.2016.7497876 | |
dc.description.startingpage | 379 | |
dc.description.endingpage | 384 | |
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 | |