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...