Yuqing Zhang Chunling Wang Shimin Wei Using SMV for Cryptographic Protocol Analysis: A Case Study. 150-153 2005 conf/fcs/2005 FCS db/conf/fcs/fcs2005.html#ZhangWW05