Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen. Modeling and Verifying Time Sensitive Security Protocols with Constraints. Electronic Notes in Theoretical Computer Science, 212:103-118, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.