[IFIP — The International Federation for Information Processing] Communications and Multimedia Security Volume 175 || An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder
Chadwick, David, Preneel, BartVolume:
10.1007/b1
Year:
2005
Language:
english
DOI:
10.1007/0-387-24486-7_16
File:
PDF, 610 KB
english, 2005