 | Monter d'un niveau |
Ben Hadj-Alouane, N., 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
