Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library
Michael Backes; Birgit Pfitzmann; Michael Waidner
- 期刊名称International Journal of Information Security
- 作者Michael Backes; Birgit Pfitzmann; Michael Waidner
- 卷第4卷
- 期第3期
- 印刷ISSN1615-5262
- 电子ISSN1615-5270
- 文件大小1565.13KB
- 发表时间2005-06
- DOI10.1007/s10207-004-0056-6
- 页码135-154