Cryptographic protocol security analysis based on bounded constructing algorithm.

Xianxian Li Jinpeng Huai Cryptographic protocol security analysis based on bounded constructing algorithm. 26-47 2006 49 Science in China Series F: Information Sciences 1 http://dx.doi.org/10.1007/s11432-004-0512-y db/journals/chinaf/chinaf49.html#LiH06