提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。
上传时间： 2015-11-09
上传用户：zhangjinzj
网络安全开发包全解一书的源代码，希望对大家有所帮助
上传时间： 2014-10-12
上传用户：cjf0304
AD876是由AD公司生产的10位20M的A/D转换芯片。两种供电3。3V和5V选择。160MW低功耗。28PIN的SSOP或者SOIC封装。本人花了1周时间调试。程序为KEIL C环境。特与大家分享。
上传时间： 2015-11-09
上传用户：李梦晗
这个是关于安全邮件的,如果哪位有需要就下了吧!希望对大家有用
标签： 家
上传时间： 2013-12-26
上传用户：lz4v4
关于网络安全的课件,如果有需要的话欢迎大家下载哦,这也是我们老师做的课件
上传时间： 2014-01-14
上传用户：赵云兴
可以用于电脑安全的管理，非常方便和有效，在日常运用中很使用
标签： 电脑
上传时间： 2015-11-11
上传用户：vodssv
彩电故障信息共享系统 本程序使用Visual C++６.0编程制作信息共享系统,实现信息管理共享的自动化。由此实现了信息的增加、删除、修改、查看等功能，并且进而实现信息的安全管理，使信息的管理更加人性化，规范化。从而提高故障排除效率，提高信息利用率，有助于进一步提高了生产效率。
上传时间： 2013-12-14
上传用户：royzhangsz
在Matlab/Simulink构造一缓慢时变线性系统。试根据系统的输入生产数据分别用带遗忘因子最小二乘法和广义最小二乘法辨识系统的参数。
上传时间： 2015-11-12
上传用户：yzy6007
1、 生产者—消费者问题是一种同步问题的抽象描述。 2、 计算机系统中的每个进程都可以消费或生产某类资源。当系统中某一进程使用某一资源时，可以看作是消耗，且该进程称为消费者。 3、 而当某个进程释放资源时，则它就相当一个生产者
上传时间： 2015-11-12
上传用户：924484786
