Efficient protocols secure against guessing and replay attacks | IEEE Conference Publication | IEEE Xplore