Liu, Dongxi; Li, Xiaoyong; Bai, Yingcai An attack-finding algorithm for security protocols. (English) Zbl 1057.68006 J. Comput. Sci. Technol. 17, No. 4, 450-463 (2002). MSC: 68M10 PDFBibTeX XMLCite \textit{D. Liu} et al., J. Comput. Sci. Technol. 17, No. 4, 450--463 (2002; Zbl 1057.68006) Full Text: DOI
Liu, Dongxi; Li, Xiaoyong; Bai, Yingcai An intelligent intruder model for security protocol analysis. (English) Zbl 1050.94528 Qing, Sihan (ed.) et al., Information and communications security. 3rd international conference, ICICS 2001, Xian, China, November 13–16, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42880-1). Lect. Notes Comput. Sci. 2229, 13-22 (2001). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{D. Liu} et al., Lect. Notes Comput. Sci. 2229, 13--22 (2001; Zbl 1050.94528) Full Text: Link