Huabing Yang, Xingyuan Zhang, Yuanyuan Wang. A correctness proof of the SRP protocol. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]
Abstract is missing.