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]
@inproceedings{YangZW06:0, title = {A correctness proof of the SRP protocol}, author = {Huabing Yang and Xingyuan Zhang and Yuanyuan Wang}, year = {2006}, doi = {10.1109/IPDPS.2006.1639687}, url = {http://dx.doi.org/10.1109/IPDPS.2006.1639687}, tags = {protocol}, researchr = {https://researchr.org/publication/YangZW06%3A0}, cites = {0}, citedby = {0}, booktitle = {20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece}, publisher = {IEEE}, }