Monter d'un niveau |
Hadj-Alouane, N. B., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. M. (2005). On the Verification of Intransitive Noninterference in Mulitlevel Security. IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics, 35(5), 948-958. Lien externe
Hadj-Alouane, N. B., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (décembre 2004). An algorithmic approach to verification of intransitive non-interference in security policies [Communication écrite]. 43rd IEEE Conference on Decision and Control (CDC 2004), Atlantis, Paradise Island, Bahamas. Lien externe
Hadj-Alouane, N. B., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (septembre 2004). Discrete event systems approach to the verification of the information flow properties in secure protocols [Communication écrite]. 7th Workshop on Discrete Event System (WODES 2004), Reims, France. Lien externe