Yuqing Zhang Xiuying Liu An approach to the formal verification of the three-principal cryptographic protocols. 35-42 2004 38 Operating Systems Review 1 http://doi.acm.org/10.1145/974104.974108 db/journals/sigops/sigops38.html#ZhangL04