Security Proof of "Efficient and Leakage-Resilient Authenticated Key Transport Protocol Based on RSA" - Semantic Scholar