提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的 证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对 ...
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的 证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对 ...
:提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同 时完成对一些数据例如会话密钥等的协商。依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协 议...
网络安全开发包全解一书的源代码,希望对大家有所帮助...
每隔一段时间会自动提醒一下用眼过度:) 特别适合长时间使用电脑的人...
这个是关于安全邮件的,如果哪位有需要就下了吧!希望对大家有用...
关于网络安全的课件,如果有需要的话欢迎大家下载哦,这也是我们老师做的课件...
你的电脑是否年代已久?是否需要进行硬件升级?BIOS版本是否不支持大硬盘? 现在有在WIN下面的BIOS升级程序,可不少人对其望而生畏,只因为它是“真刀实枪”的和硬件打交道,一不小心就会让电脑瘫痪了...
JAVA编程的小游戏,名字是红心大战,跟电脑上的游戏完全一样....
本书是一本很不错的关于电脑知识的书籍,详细的讲述了各种系统故障的解决以及系统优化,各种病毒的防范以及清除...
在电脑上提示用户输入某一天的年月日,接收用户的信息后,然后算出输入的日期是星期几,并在屏幕上输出计算的结果。完成后进行下一次输入。...