A.: Towards model-checking quantum security protocols (0)

by P Baltazar, R Chadha, P Mateus, Sernadas
Venue:Proceedings of the First Workshop on Quantum Security: QSec’07, ieee Press (2007) [4] Gottesman, D