A correctness proof of the SRP protocol | IEEE Conference Publication | IEEE Xplore