一种基于场景模型的安全性分析算法研究

在定义乘性可变尺度结构算子对数学形态维分形模型进行优化和改进的基础上,提出了一种基于提取分形特征参数的图像分割算法。首先定义并比较了加性和乘性可变尺度形态结构算子,并以此为基础进行形态学膨胀运算,提取

针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,结合基于Baye-sian统计理论的测试方法,建立一套构建安全性测试剖面,并由此产生测试用例的测试方法。该方法运用故障树分析技

无线传感器网络基于信任模型的安全性研究，潘蕾娜，陶洋，现有的无线传感器网络信任模型极少考虑针对信任体系本身的攻击，因此提出了一种防御信任体系攻击的信任评价模型(DTSA)。首先引入模

多级安全(Multilevel security,简称MLS ),是指计算机网络系统可以处理多个不同密级的信息并保证它们的保密性安全的一种解决方案。多级安全系统,满足BLP保密性模型,即用户根据其安全

在软件项目生存周期早期或创新型项目的研发过程中，可用的案例数据很少或很不完整，项目风险多由专家经验进行主观评估，给风险的客观度量带来了很大的困难。提出了一种基于贝叶斯网络的软件项目风险评估方法，不仅可

Web服务安全性的研究与分析，徐丽丽，袁景凌，Web服务技术是建立在开放的Internet基础上的新的分布式计算模型。对于服务消费者来说，必须确保发布的基于Web服务的业务事务和处理是�

CDF–一种自动测试加密软件正确性和安全性的工具

drek一种静态代码分析工具，可用于执行以安全性为重点的代码审查

这项研究的目的是将白噪声过程应用于旨在确定独立性假设的模型充分性中。这确保了在考虑中的任何时间序列中都不存在自相关，并且所输入的自回归综合移动平均（ARIMA）模型能够捕获此类序列中的线性结构。该研究

着重从软件工程的视角对软件安全性的开发过程、设计方案、评估方法与认证技术等现状进行了综述，并探讨了软件安全性的研究方向。