A formal specification and verification framework for timed security protocols

• Main Authors: Li, Li, Sun, Jun, Liu, Yang, Sun, Meng, Dong, Jin-Song
• Other Authors: School of Computer Science and Engineering
• Format: Article
• Language: English
• Published: 2020
• Subjects: Engineering::Computer science and engineering; Timed Security Protocol; Timed Applied $\pi$ -Calculus
• Online Access: https://hdl.handle.net/10356/141485
• Institution: Nanyang Technological University

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