通信学报
• • 上一篇 下一篇
赵志霞,熊 磊,肖诗松
出版日期:
发布日期:
Online:
Published:
赵志霞,熊 磊,肖诗松. 基于串空间模型和BAN逻辑的安全协议形式化分析[J]. 通信学报.
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.infocomm-journal.com/txxb/CN/
https://www.infocomm-journal.com/txxb/CN/Y2007/V0/I08A/35