论文部分内容阅读
分析了对安全性进行定量评估的必要性和可行性,基于概率论和数理统计,给出了一个安全评估的量化模型.并通过模块分解提出了一种定量评估系统安全性的方法,最后结合实例对定量评估技术进行了有意义的研究与尝试,验证了上述体系的合理性与有效性.
基于概率统计的系统安全性定量评估技术
【摘 要】
：
分析了对安全性进行定量评估的必要性和可行性,基于概率论和数理统计,给出了一个安全评估的量化模型.并通过模块分解提出了一种定量评估系统安全性的方法,最后结合实例对定量
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2004年18期
【基金项目】
：
国家自然科学基金
其他文献
由于异构系统的存在而带来的'信息孤岛'问题将成为网络应用系统扩展的重要障碍.该文分析了异构系统所带来的各种局限性,并通过一个项目实例分别针对每一种局限性提出
目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法.但对程序的语义层理解方
计算了Banach空间的若干几何常数,得到了Garda-Falset常数R(c0,α)=2-1/1+α.作为推论,得到空间c0,α有弱不动点性质,同时也计算了常数C(cα)=1,并且得到空间cα有一致弱Bana
针对手写体数字的特点并从实用性的角度出发,提出了基于动态特征抽取完整笔划的方法,具有一定的理论价值。介绍了一种由改进的ART1模型和BP模型串联而成的数字识别系统。通过实验,表明数字识别效果良好。
对一类两参数分歧点和分歧线的计算，构造了扩张系统，证明了扩展方程的正则性，从而确保各种数值方法得以实现。
研究了纳米Al2O3陶瓷颗粒增强铜基复合材料制备技术.选用纳米级Al2O3陶瓷颗粒作为增强相,采用超声波增强化学镀的方法完成对纳米Al2O3陶瓷颗粒金属铜包覆,热压烧结成纳米Al2O
用差分法对非线性Schreodinger-Boussinesq方程的初边值问题构造了近似计算格式，并得到了近似解的误差估计，还进一步论证了近似吸引子的存在性和关于原问题吸引子的上半连续性
用埋设试件的方法，研究了１Ｃｒ１３不锈钢在酸性，中性及碱性土壤中，经过１、３、５年三个试验周期后的腐蚀行为特征。结果表明，１Ｃｒ１３不锈钢在酸性及中性土壤中腐蚀轻微，在高盐碱性土壤中腐蚀严重，而且以
给出Orilicz序列空间中单位球面上一点的上（下）单调系数的计算公式。