Jiangshan Yu, Guilin Wang, Yi Mu: Provably Secure Single Sign-on Scheme in Distributed Systems and Networks. TrustCom 2012: 271-278