Analysing the BKE-security protocol with µCRL

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
Originele taal-2Engels
TitelProceedings 6th AMAST Workshop on Real-Time Systems (ARTS2004, Stirling, UK, July 12, 2004)
Pagina's49-90
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume139(1)
ISSN van geprinte versie1571-0061

Citeer dit

Blom, S. C. C., Groote, J. F., Mauw, S., & Serebrenik, A. (2005). Analysing the BKE-security protocol with µCRL. In Proceedings 6th AMAST Workshop on Real-Time Systems (ARTS2004, Stirling, UK, July 12, 2004) (blz. 49-90). (Electronic Notes in Theoretical Computer Science; Vol. 139(1)). https://doi.org/10.1016/j.entcs.2005.09.005