A formal specification and verification framework for timed security protocols

• Main Authors: Li, Li, Sun, Jun, Liu, Yang, Sun, Meng, Dong, Jin-Song
• 其他作者: School of Computer Science and Engineering
• 格式: Article
• 語言: English
• 出版: 2020
• 主題: Engineering::Computer science and engineering; Timed Security Protocol; Timed Applied $\pi$ -Calculus
• 在線閱讀: https://hdl.handle.net/10356/141485
• 機構: 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...