Comments on ``An approach to the formal verification of the two-party cryptographic protocols'' by Zhang, Li and Xiao.

Dongyao Ji Yuming Wang Comments on ``An approach to the formal verification of the two-party cryptographic protocols'' by Zhang, Li and Xiao. 6-7 2001 35 Operating Systems Review 1 db/journals/sigops/sigops35.html#JiW01