热搜关键词: 电路基础ADC数字信号处理封装库PLC

pdf

一种安全协议分析算法研究

  • 1星
  • 2013-09-19
  • 304.91KB
  • 需要1积分
  • 0次下载
标签: 一种安全协议分析算法研究

一种安全协议分析算法研究

研究分析了Athena  自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性,它基于扩展了的串空间模型,利用了消息间的因果关系,并且结合了定理证明和模型检测方法,能有效地分析安全协议的各种安全属性。在此基础上,完整地分析了ISO/IECDIS  11770-3  中提出的Helsinki  协议的认证属性,分析得出该协议是有安全缺陷的。

展开预览

猜您喜欢

评论

登录/注册

意见反馈

求资源

回顶部

推荐内容

热门活动

热门器件

随便看看

  • LCD驱动问题
    我换了一块LCD屏,也修改了相应的驱动,现在的显示不正常,就是一竖条一竖条的东西,各种颜色都有,没有规律。不知道各位有没有遇到过这种情况,我可以确认LCD的各个信号线都有信号,该配置的寄存器也都配置过了,只是不知道在哪里疏忽了。
  • PIC单片机开发的若干问题
    [align=left][b][font=隶书][size=24pt]PIC[/size][/font][/b][b][font=隶书][size=24pt]单片机开发的若干问题[/size][/font][/b][/align][align=left][b][font=隶书][size=6][/size][/font][/b] [/align][align=left][b][font=隶书][s
  • 辞职在家苦练pcb,准备年后找工作
    本人去年大学毕业后来深圳工作,刚开始做了硬件测试工作,因为刚出来不会的东西很多,公司也不会一下子让你接触设计方面的东西,只能慢慢打杂了,经过一年中的学习,其实在打杂的半年后我就开始不想做测试了,自己有亲戚也是做电子方面的,大学的时候叫我好好学模电数电这些,还教我用pads这个软件画pcb图,虽然大学里教的ad,在大学的时候也经常用pads练习画图,不过在大学里可能学的不是很认真。现在已经辞职了,也
  • 论坛改版了么,首页找不到TI M3了哦
    顺便提个问:这是周立功的LM3S系列系统控制(SysCtl).pdf中的“在所有型号中,不论PLL输出是200MHz还是400MHz,只要分频数相同,则对PLL的分频结果都是一样的,统一按照200MHz进行计算。。例如,LM3S615芯片的PLL是200MHz输出,LM3S1138芯片的PLL是400MHz输出,但执行以下函数调用后,最终的系统时钟都是20MHz:SysCtlClockSet(SY
  • 晒晒拿到的FLUKE 106 万用表
    前天接到的获奖信息,今天就收到万用表了呢!很不错的样子呢!比想象中的小,以为是很大的那种呢(因为买的话价格不菲呢)!不过拿出来一看感觉设计简约小巧呢!不错的产品!很是喜欢呢!所有的配件就在下面了呢!万用表做工很赞呢!当然准确度也没话说呢!只是我对这这准确度仍有一些疑问呢,是不是所有的生产万用表的厂商都是统一的标准呢?为什么有时候价格高的反而准确度不怎么高呢,就比如说国产的优利德和FLUKE比呢,明
  • 房间热力学仿真演示!
  • 32位mcu开发全攻略
  • 关于差分运放时发生的小问题
  • 近距智能巡航直升机
  • MSP430通信资源之IIC通信

 
EEWorld订阅号

 
EEWorld服务号

 
汽车开发圈

电子工程世界版权所有 京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved
×