排序方式: 共有18条查询结果,搜索用时 31 毫秒
1.
在深入研究分组密码及其工作模式的基础上,引用正交空间的成熟理论,提出一种基于生长树的复合模型. 该模型对各经典分组密码算法加密后的密文进行复合,生成安全强度更高的输出序列. 理论分析和实验结果表明,该模型性能良好. 相似文献
2.
给出一种构造具有高非线性程度和整体非线性度布尔函数的方法,具体构造了Bent函数以及高非线性的平衡布尔函数. 相似文献
3.
对传统网络安全解决方案进行了描述, 在此基础上, 分析了目前改进的网络安全处理器的体系结构.两者最大的区别是后者尽量减少主CPU与外部总线的通信, 为此在安全处理器中, 加入报文乃至协议处理的功能 相似文献
4.
5.
网络安全处理器的研究 总被引:1,自引:0,他引:1
对传统网络安全解决方案进行了描述,在此基础上,分析了目前改进的网络安全处理器的体系结构.两者最大的区别是后者尽量减少主CPU与外部总线的通信,为此在安全处理器中,加入报文乃至协议处理的功能 相似文献
6.
7.
8.
给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想加密系统.重要的结构如消息、事件、协议规则等都通过语义编码方式定义. 相似文献
9.
10.
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 . 相似文献