Cryptology ePrint Archive: Report 2010/645
Available versions in chronological order
20101221:152423 (posted 21-Dec-2010 15:24:23 UTC)
A Timed Logic for Modeling and Reasoning about Security Protocols
Xinfeng Lei and Rui Xue and Ting Yu
20101222:020846 (posted 22-Dec-2010 02:08:46 UTC)
A Timed Logic for Modeling and Reasoning about Security Protocols
Xinfeng Lei and Rui Xue and Ting Yu
20101222:021329 (posted 22-Dec-2010 02:13:29 UTC)
A Timed Logic for Modeling and Reasoning about Security Protocols
Xinfeng Lei and Rui Xue and Ting Yu
[
Cryptology ePrint archive
]