Return to search

The Verification of Cryptographic Protocols Using Coloured Petri Nets

Master of Applied Science (MASc)

Identiferoai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/13068
Date12 1900
CreatorsAl-Azzoni, Issam
ContributorsDown, Doug, Khedri, Ridha, Software Engineering
Source SetsMcMaster University
Detected LanguageEnglish
Typethesis

Page generated in 0.0019 seconds