TAuth: Verifying Timed Security Protocols.

Li Li, Jun Sun, Yang Liu, Jin Song Dong

Browse the full ICFEM paper archive.