Wiem Tounsi, Nora Boulahia Cuppens
, Frédéric Cuppens and Joaquín García-Alfaro
Paper (2011)
Document published while its authors were not affiliated with Polytechnique Montréal
An external link is available for this item
| ISBN: | 9783642279003 |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/46413/ |
| Conference Title: | 4th Canada-France MITACS Workshop on Foundations and Practice of Security (FPS 2011) |
| Conference Location: | Paris, France |
| Conference Date(s): | 2011-05-12 - 2011-05-13 |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-642-27901-0_20 |
| Official URL: | https://doi.org/10.1007/978-3-642-27901-0_20 |
| Date Deposited: | 18 Apr 2023 15:12 |
| Last Modified: | 08 Apr 2025 12:19 |
| Cite in APA 7: | Tounsi, W., Boulahia Cuppens, N., Cuppens, F., & García-Alfaro, J. (2011, May). Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress [Paper]. 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 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
