A formal specification and verification framework for timed security protocols

• Main Authors: LI, Li, SUN, Jun, LIU, Yang, SUN, Meng, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2018
• Subjects: Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4850; https://ink.library.smu.edu.sg/context/sis_research/article/5853/viewcontent/a_formal__PV.pdf
• Institution: Singapore Management 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...