Verifying Parameterized Timed Security Protocols.

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

Browse the full FM paper archive.