您当前的位置：
首页 >
文章列表页 >
基于计算语义的安全协议验证逻辑
基于计算语义的安全协议验证逻辑
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全文
参考文献
出版信息
数据统计
64
浏览量
34
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
知识增强的区域关联图像解说生成方法
一种加载介质钉层的宽角低扫描损耗毫米波双极化相控阵
端网协同传输技术演进与思考
包含绕包铝箔屏蔽的数据线缆信号完整性解析方法
基于DD域LFM脉冲信号嵌入的OTFS通感一体化波形设计
相关作者
暂无数据
相关机构
暂无数据
