Formal Methods for Smartcard Security

AuthID
P-00Y-NJY
2
Author(s)
Barthe, G
·
Dufay, G
Tipo de Documento
Proceedings Paper
Year published
2005
Publicado
in FOSAD
Páginas: 133-177
Indexing
Publication Identifiers
DBLP: conf/fosad/BartheD05
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.