The Verification of Cryptographic Protocols Using Coloured Petri Nets Theses