您当前的位置：
首页 >
文章列表页 >
密码协议的SPIN建模和验证
密码协议的SPIN建模和验证
Modeling and Verifying Cryptographic Protocols Using SPIN
- 电子学报 2002年30卷第S1期 页码：2099-2101
移动端阅览
HTML全文
参考文献
出版信息
数据统计
74
浏览量
925
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
动态二部图上高效的BiCore-索引维护算法
基于非均匀随机相位映射的抗截获通信波形研究
低轨卫星环境下OTFS跨域嵌入式导频信道估计算法
面向扇出型晶圆级封装的芯片间RDL布线算法
面向近海的多基站协作通信感知一体化设计
相关作者
暂无数据
相关机构
暂无数据
