Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach | IEEE Conference Publication | IEEE Xplore