Using first-order theorem provers for security protocol verification

• المؤلف الرئيسي: Lim, Pamela Jiah Min
• مؤلفون آخرون: Alwen Fernanto Tiu
• التنسيق: Final Year Project
• اللغة: English
• منشور في: 2015
• الموضوعات: DRNTU::Engineering::Computer science and engineering
• الوصول للمادة أونلاين: http://hdl.handle.net/10356/62870
• المؤسسة: Nanyang Technological University

In today’s computer-dominated world, cryptographic security protocols are exceptionally important in ensuring secure communication over an insecure network. Hence, this has led to much research in this field, leading to security protocols being developed and deployed. However, a majority of these ex...