Analysing the BKE-security protocol with µCRL

J.F. Groote, S. Mauw, A. Serebrenik

Onderzoeksoutput: Boek/rapport › Rapport › Academic

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

Publicatie series

NaamComputer science reports
Volume0430
ISSN van geprinte versie0926-4515

Toegang tot document

  • 200430Definitieve gepubliceerde versie, 245 KB

    Citeer dit