Analysing the BKE-security protocol with µCRL

Onderzoeksoutput: Boek/rapportRapportAcademic

55 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

Citeer dit