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]
Abstract is missing.