Monter d'un niveau |
Lafrance, S., & Mullins, J. (janvier 2002). Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols [Communication écrite]. Computing: the Australasian Theory Symposium (CATS 2002), Monash University, Melbourne, Australia (24 pages). Publié dans Electronic Notes in Theoretical Computer Science, 61. Disponible
Lafrance, S., & Mullins, J. (2002). Using admissible interference to detect denial of service attacks. (Rapport technique n° EPM-RT-2002-01). Disponible