Automated verification of timed security protocols with clock drift
Time is frequently used in security protocols to provide better security. For instance, critical credentials often have limited lifetime which improves the security against brute-force attacks. However, it is challenging to correctly use time in protocol design, due to the existence of clock drift i...
Saved in:
Main Authors: | LI, Li, SUN, Jun |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2016
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4940 https://ink.library.smu.edu.sg/context/sis_research/article/5943/viewcontent/automated_verification.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
A Group Neighborhood Average Clock Synchronization Protocol for Wireless Sensor Networks
by: Lin, Lin, et al.
Published: (2015) -
Feasibility study on the manufacture of electronic digital alarm clocks
by: Bondal, Noel, et al.
Published: (1981) -
Digital chess clock
by: Asuncion, Arturo E., et al.
Published: (1987) -
SPECTROSCOPY OF 175LU+ FOR OPTICAL CLOCK APPLICATIONS
by: EDUARDO JAVIER PAEZ BARRIOS
Published: (2016) -
Exploiting electrical grid for accurate and secure clock synchronization
by: Viswanathan, Sreejaya, et al.
Published: (2019)