An Extended Logic for Analyzing Timed-Release Public-Key Protocols. - Kudo, Michiharu; Mathuria, Anish (1999)