排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
主动蠕虫以自主方式进行传播,能在非常短的时间内泛滥到整个因特网。本文提出了离散时间条件下的主动蠕虫传播模型DTWP。该模型考虑了对抗蠕虫存在的情况,可以有效地刻画随机扫描主动蠕虫的传播特性。实验计算结果表明,DTWP模型能够比AAWP模型更好地预测蠕虫后期的传播趋势。 相似文献
2.
3.
4.
谷氨酰胺高产菌株的选育 总被引:3,自引:0,他引:3
本研究以产生谷氨酸的黄色短杆菌为出发菌株,经NTG诱变,筛选出抗SG的高产谷氨酰胺菌株,摇瓶试验结果表明:突变株B.F366产谷氨酰胺5.83%,发酵周期42h,副产物谷氨酸极少,是较为理想的生产谷氨酸胺的优良菌种。 相似文献
5.
随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面。本文通过使用BAN逻辑证明Needham-Schmeder协议的安全性,得出其存在的缺陷并提出改进方案。 相似文献
6.
现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了IKE2协议.应用SVO逻辑对IKE2协议进行了形式化分析,证明了IKE2协议的密钥交换和认证安全性.对IKE2协议的分析也证明了SVO逻辑可用于分析基于Diffie-Hellman交换的复杂安全协议. 相似文献
7.
8.
1