Wiem Tounsi, Nora Boulahia Cuppens
, Frédéric Cuppens et Joaquín García-Alfaro
Communication écrite (2011)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| URL de PolyPublie: | https://publications.polymtl.ca/46413/ |
|---|---|
| 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 |
| DOI: | 10.1007/978-3-642-27901-0_20 |
| URL officielle: | https://doi.org/10.1007/978-3-642-27901-0_20 |
| Date du dépôt: | 18 avr. 2023 15:12 |
| Dernière modification: | 25 sept. 2024 16:34 |
| 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
Actions réservées au personnel
|
Afficher document |
