Automated Verification of Timed Security Protocols with Clock Drift.

Li Li, Jun Sun, Jin Song Dong

Browse the full FM paper archive.