An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder

IFIP — The International Federation for Information Processing - Communications and Multimedia Security ◽

10.1007/0-387-24486-7_16 ◽

2005 ◽

pp. 209-221

Author(s):

Theodoras Balopoulos ◽

Stephanos Gritzalis ◽

Sokratis K. Katsikas

Download Full-text