 | Monter d'un niveau |
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
