Analysing the BKE-security protocol with µCRL

Research output: Book/ReportReportAcademic

30 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages31
Publication statusPublished - 2004

Publication series

NameComputer science reports
Volume0430
ISSN (Print)0926-4515

Cite this