Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane. Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 242-247, IEEE, 2019. [doi]
@inproceedings{BourouisKH19,
title = {Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach},
author = {Amina Bourouis and Kais Klai and Nejib Ben Hadj-Alouane},
year = {2019},
doi = {10.1109/ICECCS.2019.00034},
url = {https://doi.org/10.1109/ICECCS.2019.00034},
researchr = {https://researchr.org/publication/BourouisKH19},
cites = {0},
citedby = {0},
pages = {242-247},
booktitle = {24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019},
editor = {Jun Pang 0001 and Jing Sun 0002},
publisher = {IEEE},
isbn = {978-1-7281-4646-1},
}