Formal Analysis of Information Card Federated Identity-Management Protocol

Juan Wang, Hongxin Hu, Bo Zhao, Fei Yan, Huanguo Zhang, Qianhong Wu

January, 2013

Type

Journal article

Publication

Chinese Journal of Electronics