Browsing by Author Al-Azzoni, Issam
Showing results 4 to 4 of 4
< previous
Publication Date | Title | Author(s) |
---|---|---|
Dec-2004 | The Verification of Cryptographic Protocols Using Coloured Petri Nets | Al-Azzoni, Issam |
Showing results 4 to 4 of 4
< previous