70580704

a

70580704 Iii, James W. Gray Ip, Kin Fai Epsilon Lui, King-Shan Provable security for cryptographic protocols: exact analysis and engineering applications CSFW, 45-58 (1997). 1997 EN

http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596784