搜索结果
找到约 5,320 项符合
安全内核 的查询结果
按分类筛选
其他 提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的
证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对
Yahalom.BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的 ...
其他 :提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断
:提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同
时完成对一些数据例如会话密钥等的协商。依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协
议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand
的存在关 ...
网络 网络安全开发包全解一书的源代码
网络安全开发包全解一书的源代码,希望对大家有所帮助
书籍源码 <LINUX内核完全注释>0.11内核源代码
<LINUX内核完全注释>0.11内核源代码
其他书籍 一个从内核阐述xworks嵌入式系统串行设备驱动的编写过程很值得一看
一个从内核阐述xworks嵌入式系统串行设备驱动的编写过程很值得一看
网络 epoll机制的收发程序 只能在2.6内核上使用
epoll机制的收发程序
只能在2.6内核上使用
其他书籍 这个是关于安全邮件的,如果哪位有需要就下了吧!希望对大家有用
这个是关于安全邮件的,如果哪位有需要就下了吧!希望对大家有用
其他书籍 关于网络安全的课件,如果有需要的话欢迎大家下载哦,这也是我们老师做的课件
关于网络安全的课件,如果有需要的话欢迎大家下载哦,这也是我们老师做的课件
其他 可以用于电脑安全的管理
可以用于电脑安全的管理,非常方便和有效,在日常运用中很使用
操作系统开发 这里是UC/OS-11 的2.6的内核代码
这里是UC/OS-11 的2.6的内核代码