Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/66777
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWang, Jianfang
dc.date.accessioned2016-04-26T02:26:48Z
dc.date.available2016-04-26T02:26:48Z
dc.date.issued2016
dc.identifier.urihttp://hdl.handle.net/10356/66777
dc.description.abstractIn 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 amount of protocol begin design it make the verification more difficult. Thus, automate verification tools such as Proverif is developed to aid, the verification process. But Proverif output maybe can be very complex for a new user to understand. In this project, its aim to aid the new user in understanding the output of Proverif through the conversion of output text to graphical representation. The protocol notation was use to convert to Proverif output, this result is then parse and generate into graphical representation. The graphical representation generate from output text may not be exactly match to the claimed attack of example protocol. But it is able to provide user an addition perspective of the attack, and ease the message tracing and back tracing while understanding the output.en_US
dc.format.extent43 p.en_US
dc.language.isoenen_US
dc.rightsNanyang Technological University
dc.subjectDRNTU::Engineering::Computer science and engineeringen_US
dc.titleGraphical representation of attacks on security protocolen_US
dc.typeFinal Year Project (FYP)en_US
dc.contributor.supervisorAlwen Fernanto Tiuen_US
dc.contributor.schoolSchool of Computer Engineeringen_US
dc.description.degreeBachelor of Engineering (Computer Science)en_US
item.grantfulltextrestricted-
item.fulltextWith Fulltext-
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)
Files in This Item:
File Description SizeFormat 
FYP Report NTU portal.pdf
  Restricted Access
1.64 MBAdobe PDFView/Open

Page view(s)

293
Updated on Jul 21, 2024

Download(s)

9
Updated on Jul 21, 2024

Google ScholarTM

Check

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.