Pedro Baltazar Rohit Chadha Paulo Mateus Amílcar Sernadas Towards Model-Checking Quantum Security Protocols. 14 2007 conf/icqnm/2007 ICQNM http://dx.doi.org/10.1109/ICQNM.2007.21 db/conf/icqnm/icqnm2007.html#BaltazarCMS07