Wiem Tounsi, Nora Boulahia Cuppens
, Frédéric Cuppens, Joaquín García-Alfaro
Communication écrite (2011)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9783642279003
Adresse URL de PolyPublie:
Nom de la conférence:
4th Canada-France MITACS Workshop on Foundations and Practice of Security (FPS 2011)
Lieu de la conférence:
Paris, France
Date(s) de la conférence:
2011-05-12 - 2011-05-13
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:46413
ORCID
Date du dépôt:
18 avr. 2023 15:12
Dernière modification:
14 oct. 2026 14:00
Citer en APA 7:
Tounsi, W., Boulahia Cuppens, N., Cuppens, F., & García-Alfaro, J. (mai 2011). Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress [Communication écrite]. 4th Canada-France MITACS Workshop on Foundations and Practice of Security (FPS 2011), Paris, France. https://doi.org/10.1007/978-3-642-27901-0_20
Statistiques
Dimensions
