Operational semantics of security protocols

C.J.F. Cremers, S. Mauw

Onderzoeksoutput: Boek/rapportRapportAcademic

98 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's23
StatusGepubliceerd - 2004

Publicatie series

NaamComputer science reports
Volume0438
ISSN van geprinte versie0926-4515

Citeer dit