Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/13068
Title: | The Verification of Cryptographic Protocols Using Coloured Petri Nets |
Authors: | Al-Azzoni, Issam |
Advisor: | Down, Doug Khedri, Ridha |
Department: | Software Engineering |
Keywords: | Software Engineering;Other Engineering;Other Engineering |
Publication Date: | Dec-2004 |
Abstract: | |
URI: | http://hdl.handle.net/11375/13068 |
Identifier: | opendissertations/7899 8976 4297604 |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
fulltext.pdf | 4.06 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.