Roberto Gorrieri Enrico Locatelli Fabio Martinelli A Simple Language for Real-Time Cryptographic Protocol Analysis. 114-128 2003 conf/esop/2003 ESOP http://link.springer.de/link/service/series/0558/bibs/2618/26180114.htm db/conf/esop/esop2003.html#GorrieriLM03