Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10329186 | Electronic Notes in Theoretical Computer Science | 2005 | 42 Pages |
Abstract
The μCRL language and its corresponding tool set form a powerful methodology for the verification of distributed systems. We demonstrate its use by applying it to the well-known Bilateral Key Exchange security protocol.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik,