A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.

Yongjian Li, Hongjian Jiang, Yongxin Zhao

Browse the full TASE paper archive.