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