Security verification of network protocols

• 主要作者: Chong, Yew Heng
• 其他作者: Zhang Tianwei
• 格式: Final Year Project
• 語言: English
• 出版: Nanyang Technological University 2021
• 主題: Engineering::Computer science and engineering::Computer systems organization::Computer-communication networks
• 在線閱讀: https://hdl.handle.net/10356/148831
• 機構: Nanyang Technological University

Network protocols define the security rules for secure communication between two computer system over a computer network. Cryptographic functions are used as a mean to protect the information transmitted from unauthorised eavesdropping or modifications. However, it is not easy to determine if the cr...