Verifying parameterized timed security protocols

• Main Authors: LI, Li, SUN, Jun, LIU, Yang, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2015
• Subjects: Security Protocol; Guard Condition; Protocol Session; Secrecy Query; Service Ticket; Programming Languages and Compilers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4949; https://ink.library.smu.edu.sg/context/sis_research/article/5952/viewcontent/LNCS_9109___FM_2015__Formal_Methods.pdf
• Institution: Singapore Management University

Quantitative timing is often explicitly used in systems for better security, e.g., the credentials for automatic website logon often has limited lifetime. Verifying timing relevant security protocols in these systems is very challenging as timing adds another dimension of complexity compared with th...