您当前的位置：
首页 >
文章列表页 >
基于计算语义的安全协议验证逻辑
基于计算语义的安全协议验证逻辑
A Verification Logic for Security Protocols Based on Computational Semantics
- 电子学报 2014年42卷第6期 页码：1179-1185
DOI： 10.3969/j.issn.0372-2112.2014.06.022
移动端阅览
HTML全文
参考文献
出版信息
数据统计
63
浏览量
33
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
面向近海的多基站协作通信感知一体化设计
面向扇出型晶圆级封装的芯片间RDL布线算法
端网协同传输技术演进与思考
RIS辅助宽带太赫兹ISAC系统鲁棒保密传输方法
低轨卫星网络自适应随机接入研究
相关作者
暂无数据
相关机构
暂无数据
