An Intelligent Intruder Model for Security Protocol Analysis.

Dongxi Liu, Xiaoyong Li, Yingcai Bai

Browse the full ICICS paper archive.