 | Monter d'un niveau |
Boucheneb, H., & Mullins, J. (2003). Analyse des reseaux temporels : Calcul des classes en O(n²) et des temps de chemin en O(m×n). Technique et Science Informatiques, 22(4), 435-459. Lien externe
Brlek, S., Hamadou, S., & Mullins, J. (juin 2003). ASET-Un protocole anonyme et sécuritaire pour les transactions électroniques [Communication écrite]. 2e conférence francophone sur sécurité et architecture réseaux (SAR 2003), Nancy, France. Non disponible
Lafrance, S., & Mullins, J. (2003). An information flow method to detect denial of service vulnerabilities. Journal of Universal Computer Science, 9(11), 1350-1369. Disponible
Lafrance, S., & Mullins, J. (avril 2003). An information flow method to detect denial of service vulnerabilities [Communication écrite]. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, US. Non disponible
Lafrance, S., & Mullins, J. (juin 2003). A symbolic approach to the analysis of security protocols [Communication écrite]. LICS 2003 Satellite Workshop on Foundations of Computer Security (FCS 2003), Ottawa, Ont. Canada. Non disponible
Lafrance, S., & Mullins, J. (juillet 2003). Using admissible interference to detect denial of service vulnerabilities [Communication écrite]. 6th International Workshop in Formal Methods (IWFM 2003) and Electronic Workshops in Computing by British Computer Society (BCSeWiC 2003), Dublin, Irlande. Lien externe
Mullins, J., & Lafrance, S. (2003). Bisimulation-Based Non-Deterministic Admissible Interference and Its Application to the Analysis of Cryptographic Protocols. Information and Software Technology, 45(11), 779-790. Lien externe
