A formal specification and verification framework for timed security protocols

• المؤلفون الرئيسيون: Li, Li, Sun, Jun, Liu, Yang, Sun, Meng, Dong, Jin-Song
• مؤلفون آخرون: School of Computer Science and Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2020
• الموضوعات: Engineering::Computer science and engineering; Timed Security Protocol; Timed Applied $\pi$ -Calculus
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/141485

Nowadays, protocols often use time to provide better security. For instance, critical credentials are often associated with expiry dates in system designs. However, using time correctly in protocol design is challenging, due to the lack of time related formal specification and verification technique...