A First Step Towards the Automatic Generation of Security Protocols.

Adrian Perrig Dawn Xiaodong Song A First Step Towards the Automatic Generation of Security Protocols. 2000 conf/ndss/2000 NDSS http://www.isoc.org/isoc/conferences/ndss/2000/proceedings/031.pdf db/conf/ndss/ndss2000.html#PerrigS00