Towards Model-Checking Quantum Security Protocols

AuthID
P-007-J54
4
Author(s)
Baltazar, P
·
Chadha, R
·
Tipo de Documento
Proceedings Paper
Year published
2007
Publicado
in First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007
Conference
First International Conference on Quantum, Nano, and Micro Technologies, Icqnm 2007, Date: 2 January 2007 through 6 January 2007, Location: Guadeloupe, Patrocinadores: IEEE France;IARIA
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-34547217440
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.