dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.contributor.author | Keroglou, C. | en |
dc.contributor.editor | Martinez Garcia H. | en |
dc.contributor.editor | Grau A. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.creator | Keroglou, C. | en |
dc.date.accessioned | 2019-04-08T07:46:04Z | |
dc.date.available | 2019-04-08T07:46:04Z | |
dc.date.issued | 2014 | |
dc.identifier.isbn | 978-1-4799-4846-8 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43561 | |
dc.description.abstract | In many emerging security applications, a property of a system, that may reveal important details about its behaviour, needs to be kept secret (opaque) to outside observers (intruders). Motivated by such applications, several authors have formalized, analyzed, and described methods to verify notions of opacity in discrete event systems of interest. This paper offers a review of various definitions of opacity, along with methodologies for their verification and complexity analysis. We review state-based notions of opacity (namely, current-state opacity and initial-state opacity) in non-deterministic finite automata, as well as their extensions to stochastic settings. Specifically, we discuss these notions of opacity and methods to verify them in discrete event systems modeled by non-deterministic finite automata (NFA's) or probabilistic finite automata (PFA's). © 2014 IEEE. | en |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en |
dc.source | 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 | en |
dc.source | 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84946691444&doi=10.1109%2fETFA.2014.7005032&partnerID=40&md5=35593cea91326e1cc4dd7cc94fd0a52b | |
dc.subject | Stochastic systems | en |
dc.subject | Discrete event simulation | en |
dc.subject | Finite automata | en |
dc.subject | Factory automation | en |
dc.subject | Security application | en |
dc.subject | Automata | en |
dc.subject | Des | en |
dc.subject | Mobile security | en |
dc.subject | Nondeterministic finite automaton | en |
dc.subject | Opacity | en |
dc.subject | Pipeline processing systems | en |
dc.subject | Probabilistic automata | en |
dc.subject | Probabilistic finite automata | en |
dc.subject | Security and privacy | en |
dc.subject | Stochastic settings | en |
dc.title | Opacity formulations and verification in discrete event systems | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/ETFA.2014.7005032 | |
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 | |