Dongxi Zheng Shaohua Tang Shaofa Li Web Services Single Sign-on Protocol and Formal Analysis on It. 923-930 2005 14 Journal of Circuits, Systems, and Computers 5 http://dx.doi.org/10.1142/S0218126605002714 db/journals/jcsc/jcsc14.html#ZhengTL05