Dongxi Liu, Xiaoyong Li, Yingcai Bai: An Intelligent Intruder Model for Security Protocol Analysis. ICICS 2001: 13-22