Opacity of Discrete Event Systems: models, validation and quantification. Jacob, R., Lesage, J., & Faure, J. IFAC-PapersOnLine, 48(7):174–181, January, 2015.
Paper doi abstract bibtex Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven by safety and privacy concerns in network communications and online services, much theoretical work has been conducted in order to design opaque systems. A system is opaque if an external observer in unable to infer a "secret" about the system behavior. This paper aims to review the most commonly used techniques of opacity validation for deterministic models and opacity quantification for probabilistic ones. Available complexity results are also provided. Finally, we review existing tools for opacity validation and current applications.
@article{jacob_opacity_2015,
series = {5th {IFAC} {International} {Workshop} on {Dependable} {Control} of {Discrete} {Systems}},
title = {Opacity of {Discrete} {Event} {Systems}: models, validation and quantification},
volume = {48},
copyright = {All rights reserved},
issn = {2405-8963},
shorttitle = {Opacity of {Discrete} {Event} {Systems}},
url = {http://www.sciencedirect.com/science/article/pii/S2405896315007296},
doi = {10.1016/j.ifacol.2015.06.490},
abstract = {Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven by safety and privacy concerns in network communications and online services, much theoretical work has been conducted in order to design opaque systems. A system is opaque if an external observer in unable to infer a "secret" about the system behavior. This paper aims to review the most commonly used techniques of opacity validation for deterministic models and opacity quantification for probabilistic ones. Available complexity results are also provided. Finally, we review existing tools for opacity validation and current applications.},
number = {7},
urldate = {2017-10-08},
journal = {IFAC-PapersOnLine},
author = {Jacob, Romain and Lesage, Jean-Jacques and Faure, Jean-Marc},
month = jan,
year = {2015},
pages = {174--181}
}
Downloads: 0
{"_id":"qivs3CGMfGFWAmWss","bibbaseid":"jacob-lesage-faure-opacityofdiscreteeventsystemsmodelsvalidationandquantification-2015","authorIDs":[],"author_short":["Jacob, R.","Lesage, J.","Faure, J."],"bibdata":{"bibtype":"article","type":"article","series":"5th IFAC International Workshop on Dependable Control of Discrete Systems","title":"Opacity of Discrete Event Systems: models, validation and quantification","volume":"48","copyright":"All rights reserved","issn":"2405-8963","shorttitle":"Opacity of Discrete Event Systems","url":"http://www.sciencedirect.com/science/article/pii/S2405896315007296","doi":"10.1016/j.ifacol.2015.06.490","abstract":"Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven by safety and privacy concerns in network communications and online services, much theoretical work has been conducted in order to design opaque systems. A system is opaque if an external observer in unable to infer a \"secret\" about the system behavior. This paper aims to review the most commonly used techniques of opacity validation for deterministic models and opacity quantification for probabilistic ones. Available complexity results are also provided. Finally, we review existing tools for opacity validation and current applications.","number":"7","urldate":"2017-10-08","journal":"IFAC-PapersOnLine","author":[{"propositions":[],"lastnames":["Jacob"],"firstnames":["Romain"],"suffixes":[]},{"propositions":[],"lastnames":["Lesage"],"firstnames":["Jean-Jacques"],"suffixes":[]},{"propositions":[],"lastnames":["Faure"],"firstnames":["Jean-Marc"],"suffixes":[]}],"month":"January","year":"2015","pages":"174–181","bibtex":"@article{jacob_opacity_2015,\n\tseries = {5th {IFAC} {International} {Workshop} on {Dependable} {Control} of {Discrete} {Systems}},\n\ttitle = {Opacity of {Discrete} {Event} {Systems}: models, validation and quantification},\n\tvolume = {48},\n\tcopyright = {All rights reserved},\n\tissn = {2405-8963},\n\tshorttitle = {Opacity of {Discrete} {Event} {Systems}},\n\turl = {http://www.sciencedirect.com/science/article/pii/S2405896315007296},\n\tdoi = {10.1016/j.ifacol.2015.06.490},\n\tabstract = {Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven by safety and privacy concerns in network communications and online services, much theoretical work has been conducted in order to design opaque systems. A system is opaque if an external observer in unable to infer a \"secret\" about the system behavior. This paper aims to review the most commonly used techniques of opacity validation for deterministic models and opacity quantification for probabilistic ones. Available complexity results are also provided. Finally, we review existing tools for opacity validation and current applications.},\n\tnumber = {7},\n\turldate = {2017-10-08},\n\tjournal = {IFAC-PapersOnLine},\n\tauthor = {Jacob, Romain and Lesage, Jean-Jacques and Faure, Jean-Marc},\n\tmonth = jan,\n\tyear = {2015},\n\tpages = {174--181}\n}\n\n","author_short":["Jacob, R.","Lesage, J.","Faure, J."],"key":"jacob_opacity_2015","id":"jacob_opacity_2015","bibbaseid":"jacob-lesage-faure-opacityofdiscreteeventsystemsmodelsvalidationandquantification-2015","role":"author","urls":{"Paper":"http://www.sciencedirect.com/science/article/pii/S2405896315007296"},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/romain_jacob","creationDate":"2020-03-11T17:05:50.267Z","downloads":0,"keywords":[],"search_terms":["opacity","discrete","event","systems","models","validation","quantification","jacob","lesage","faure"],"title":"Opacity of Discrete Event Systems: models, validation and quantification","year":2015,"dataSources":["GSdyza34Yogv8tQFT"]}