×

Found 31 Documents (Results 1–31)

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
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software