Token-based single sign-on protocol and its formal analysis
SHEN Ting;LI Hui;YU Ming-zhe
J4 . 2006, (5): 792 -796 .