Stephen H. Brackin Providing Tractable Security Analysis in HOL. 65-80 1994 conf/tphol/1994 TPHOLs db/conf/tphol/tphol94.html#Brackin94 http://dx.doi.org/10.1007/3-540-58450-1_35