A probabilistic scheduler for the analysis of cryptographic protocols

Srečko Brlek, Sardaouna Hamadou, John Mullins

Communication écrite (2007)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Voir chez l'éditeur officiel
Département:
Département de génie informatique et génie logiciel
Adresse URL de PolyPublie:
https://publications.polymtl.ca/22186/
Nom de la conférence:
5th International Workshop on Security Issues in Concurrency (SecCo 2007)
Lieu de la conférence:
Lisbonne, Portugal
Date(s) de la conférence:
2007-09-03
Maison d'édition:
Elsevier
DOI:
10.1016/j.entcs.2007.10.009
URL officielle:
https://doi.org/10.1016/j.entcs.2007.10.009
OAI:
oai:publications.polymtl.ca:22186
ORCID
Date du dépôt:
18 avr. 2023 15:16
Dernière modification:
14 oct. 2026 12:55
Citer en APA 7:
Brlek, S., Hamadou, S., & Mullins, J. (septembre 2007). A probabilistic scheduler for the analysis of cryptographic protocols [Communication écrite]. 5th International Workshop on Security Issues in Concurrency (SecCo 2007), Lisbonne, Portugal. https://doi.org/10.1016/j.entcs.2007.10.009

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document