Searching for "Towards Model-Checking Quantum Security Protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Towards modelchecking quantum security protocols
by P. Baltazar, R. Chadha, P. Mateus, A. Sernadas — 2006 — Proceedings of the First Workshop on Quantum Security: QSec’07, IEEE Press (2007
…Towards model-checking quantum security protocols P. Baltazar, R. Chadha ∗ , P. Mateus and A…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB