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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/66777 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |