| Formal Analysis of Information Card Federated Identity-Management Protocol | |
| Wang Juan; Hu Hongxin; Zhao Bo; Yan Fei; Zhang Huanguo; Wu Qianhong | |
| 刊名 | CHINESE JOURNAL OF ELECTRONICS
 |
| 2013 | |
| 卷号 | 22期号:1 |
| 关键词 | Information card User-centric Identity Automated validation of Internet security protocols and applications (AVISPA) |
| ISSN号 | 1022-4653 |
| URL标识 | 查看原文 |
| 收录类别 | SCIE ; EI |
| 语种 | 英语 |
| 内容类型 | 期刊论文 |
| URI标识 | http://www.corc.org.cn/handle/1471x/4090603 |
| 专题 | 武汉大学 |
| 推荐引用方式 GB/T 7714 | Wang Juan,Hu Hongxin,Zhao Bo,et al. Formal Analysis of Information Card Federated Identity-Management Protocol[J]. CHINESE JOURNAL OF ELECTRONICS,2013,22(1). |
| APA | Wang Juan,Hu Hongxin,Zhao Bo,Yan Fei,Zhang Huanguo,&Wu Qianhong.(2013).Formal Analysis of Information Card Federated Identity-Management Protocol.CHINESE JOURNAL OF ELECTRONICS,22(1). |
| MLA | Wang Juan,et al."Formal Analysis of Information Card Federated Identity-Management Protocol".CHINESE JOURNAL OF ELECTRONICS 22.1(2013). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论