Proceedings of Mompes 2005 2nd International Workshop on Model Based Methodologies for Pervasive and Embedded Software Journal

Overview

publication venue for

Modeling and Veri cation of cryptographic protocols using coloured petri nets and design/CPN 2005