Popular links
Search
About McMaster
Home
News
Research & Innovation
Giving to McMaster
Working at McMaster
Study
Undergraduate Programs
Graduate Programs
Continuing Education
Admission Requirements
Visit
Tours
Campus Maps
Campus Safety Services
Events
Connect
University Directories
Media Inquiries
Research Centres & Institutes
McMaster Global
Alumni
Search
Keyword Search
Search Current Website
Search McMaster
Student Support
Campus Safety Services
Equity & Inclusion Office
IT Support
Office of the Registrar
Ombuds Office
School of Graduate Studies
Student Wellness Centre
Student Affairs
Tools
Academic Calendars
Avenue to Learn
Campus Maps
Faculty and Staff Directory
Find an Expert
Microsoft Office 365
Mosaic
Safety App
Faculties
DeGroote School of Business
Engineering
Health Sciences
Humanities
Science
Social Sciences
On Campus
Athletics & Recreation
Campus Store
Housing & Conference Services
Hospitality Services
Libraries
Student Success Centre
Experts
Menu
Home
People
Groups
Scholarly Works
About
Login
Experts
Home
People
Groups
Scholarly Works
About
Login
Home
Scholarly Works
The Verification of Cryptographic Protocols Using...
Thesis / Dissertation
The Verification of Cryptographic Protocols Using Coloured Petri Nets
Authors
Al-Azzoni I
Date awarded
December 1, 2004
Associated Experts
Issam Al-Azzoni
Adjunct Assistant Professor, Computing and Software
Visit profile
Contact the Experts team
Get technical help
or
Provide website feedback
