Publications

Towards Model-Checking Quantum Security Protocols

AuthID
P-007-J54

Author(s)

Baltazar, P

Chadha, R

Mateus, P

Sernadas, A

Document Type

Proceedings Paper

Year published

2007

Published

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, Sponsors: IEEE France;IARIA

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/icqnm.2007.21

Scopus: 2-s2.0-34547217440

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Towards Model-Checking Quantum Security Protocols

Useful Links

Get Help

Federated Authentication (Click on the image)

Towards Model-Checking Quantum Security Protocols

Useful Links

Get Help