Authors: COFFEY T SAIDHA P

Citation: T. Coffey et P. Saidha, LOGIC FOR VERIFYING PUBLIC-KEY CRYPTOGRAPHIC PROTOCOLS, IEE proceedings. Computers and digital techniques, 144(1), 1997, pp. 28-32