 | Monter d'un niveau |
Ben Hadj-Alouane, N., 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. Publié dans IFAC Proceedings, 37(18). Lien externe
Lafrance, S. (2004). Symbolic approach to the analysis of security protocols. Journal of Universal Computer Science, 10(9), 1156-1198. Disponible
