Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress

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

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:	05 Apr 2024 11:46

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistics

Repository Staff Only