Charles Thevathayan, Peter Bertók, George Fernandez. Synthesising End-to-End Security Protocols. In 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2014, Beijing, China, September 24-26, 2014. pages 440-447, IEEE, 2014. [doi]
Abstract is missing.