Guoping Jia Susanne Graf Verification Experiments on the MASCARA Protocol. 123-142 2001 conf/spin/2001 SPIN http://link.springer.de/link/service/series/0558/bibs/2057/20570123.htm db/conf/spin/spin2001.html#JiaG01