Towards model-checking quantum security protocols (2007)

by P. Baltazar , R. Chadha , P. Mateus , A. Sernadas
Venue:PROCEEDINGS OF THE FIRST WORKSHOP ON QUANTUM SECURITY: QSEC’07
Citations:5 - 2 self