Formal Methods for Smartcard Security

AuthID
P-00Y-NJY
2
Author(s)
Barthe, G
·
Dufay, G
Document Type
Proceedings Paper
Year published
2005
Published
in FOSAD
Pages: 133-177
Indexing
Publication Identifiers
Dblp: conf/fosad/BartheD05
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.