Dongxi Liu Xiaoyong Li Yingcai Bai An Intelligent Intruder Model for Security Protocol Analysis. 13-22 2001 conf/icics/2001 ICICS http://link.springer.de/link/service/series/0558/bibs/2229/22290013.htm db/conf/icics/icics2001.html#LiuLB01