本安型

本安型技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

本安型 全部资料 500 份

提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实...

2015-11-08 120 本安型

入侵检测是近几年发展起来的新型网络安全策略，它结合防火墙等静态防护技术，实现了网络系统安全的动态检测和监控。现有的入侵检测系统仍存在着快速性和准确性的问题。因此，智能技术在入侵检测技术中的应用成为研究的热点。文章分析了现有的入侵检测技术，并...

2014-11-23 147 本安型

摘 要：异构网格环境的特点决定了其任务调度是受调度长度、安全性能及调度费用等多个因素制约的。该文根据网格资源调度的特点构造了一个安全效益函数和节点信誉度动态评估模型，并以此为基础建立了一个多目标约束的网格任务调度模型。利用隶属度函数将多目标...

2023-09-06 4 本安型