中文版 | English

在结果中检索

Arid

浏览/检索结果: 共1条，第1-1条 帮助

已选(0)清除 条数/页：   排序方式：
Formal Analysis of Information Card Federated Identity-Management Protocol 期刊论文
发表期刊: CHINESE JOURNAL OF ELECTRONICS. 出版年: 2013, 卷号: 22, 期号: 1, 页码: 83-88
作者:  Wang Juan;  Hu Hongxin;  Zhao Bo;  Yan Fei;  Zhang Huanguo;  Wu Qianhong
收藏  |  浏览/下载：15/0  |  提交时间：2019/11/29
Information card  User-centric  Identity  Automated validation of Internet security protocols and applications (AVISPA)