Graphical representation of attacks on security protocol

In a digital age, cryptographic security protocols are extremely important in ensuring a secure communication in an open network. Many research has arise in the field of protocol design and verification. However, verification of protocol can be extremely difficult to be done manually. With massive a...

Full description

Bibliographic Details
Main Author: Wang, Jianfang
Other Authors: Alwen Fernanto Tiu
Format: Final Year Project (FYP)
Language:English
Published: 2016
Subjects:
Online Access:http://hdl.handle.net/10356/66777