电子技术资料下载
热搜关键词: 电路基础ADC数字信号处理封装库PLC
已收藏到:个人中心—我的下载—收藏
一种安全协议分析算法研究
研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性,它基于扩展了的串空间模型,利用了消息间的因果关系,并且结合了定理证明和模型检测方法,能有效地分析安全协议的各种安全属性。在此基础上,完整地分析了ISO/IECDIS 11770-3 中提出的Helsinki 协议的认证属性,分析得出该协议是有安全缺陷的。
猜您喜欢
上传资源
TI 文字链专区
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门文章
热门标签
TI 技术论坛
TI 在线培训
Qorvo 射频技术研习社
请先登录EEWorld账户再进行下载哦
新注册用户赠送5积分
您已成功下载!
大家都在看
评论