Scholarly Works

Modeling and Verification of Cryptographic...

Journal article

Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN.

Authors

Al-Azzoni I; Down DG; Khédri R

Journal

Nord. J. Comput., Vol. 12, , pp. 200–228

Publication Date

January 1, 2005

Associated Experts

Douglas G Down

Professor, Faculty of Engineering

Ridha Khedri

Professor, Faculty of Engineering

Contact the Experts team

Get technical help

or

Provide website feedback