An approach to finding the attacks on the cryptographic protocols.

Yongxing Sun Xinmei Wang An approach to finding the attacks on the cryptographic protocols. 19-28 2000 34 Operating Systems Review 3 db/journals/sigops/sigops34.html#SunW00