Efficient protocols secure against guessing and replay attacks. - Keung, Stephen; Siu, Kai-Yeung (1995)