Analysing the BKE-security protocol with $\mu$CRL

2005

Presented at the International Workshop on Parallel and Distributed Methods in Verification, Stirling, Scotland

Additional Metadata
THEME	Software (theme 1)
Publisher	Elsevier
Journal	Electronic Notes in Theoretical Computer Science
Conference	International Workshop on Parallel and Distributed Methods in Verification
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Blom, S., Groote, J. F., Mauw, S.& Serebrenik, A. (2005). Analysing the BKE-security protocol with $\mu$CRL. Electronic Notes in Theoretical Computer Science, 139(1), 49–90.

Publication