David A. Basin Lazy Infinite-State Analysis of Security Protocols. 30-42 1999 conf/cqre/1999 CQRE http://link.springer.de/link/service/series/0558/bibs/1740/17400030.htm db/conf/cqre/cqre1999.html#Basin99