主机系统安全实时风险量化评估方法的研究

为了评价主机系统的安全风险变化,建立了一个描述主机安全状态的隐马尔可夫模型.利用该模型计算主机处于被攻击状态的概率,分析了影响攻击执行过程的因素,提出了一种计算攻击成功概率的方法,并最终计算主机系统的风险指数.该方法可以动态获取主机系统的风险态势曲线,有利于指导安全管理人员调整安全策略.     

模块化免疫神经网络平衡态检测模型*

基于神经网络原理、免疫系统和遗传算法的相关机理,构造了一个网络安全平衡器。该平衡器建立了抗原与抗体平衡态检测的数学模型、抗原与抗体的促进和抑制函数,提出了安全平衡态的概念,给出了抗原与抗体浓度的计算公式和模块化多层分类处理模型,利用促进、抑制函数和遗传算法适应度函数使已受攻击的网络再次达到一种新的安全平衡状态,这为网络安全提供了一个新的途径。理论证明网络安全方案是有效的。     

一个新的基于口令的密钥协商协议

以不经意多项式计算作为核心组件,提出了一个基于口令的密钥协商协议PSKA-I,该协议能够抵抗字典攻击但只能工作于认证模型。为解决协议PSKA-I这一缺陷,根据BCK安全模型设计了消息传输认证器,将协议PSKA-I转换为非认证模型中的安全协议PSKA-Ⅱ。上述协议口令的安全性由不经意多项式计算予以保证。与GL协议相比,该协议的通信及计算复杂度明显降低。     

改进的基于身份认证密钥协商协议*

对标准模型下可证安全的基于身份认证密钥协商协议进行安全分析,指出由于传送消息存在冗余,协议不能抵御伪装攻击。为解决上述安全漏洞,提出一个改进的基于身份认证密钥协商协议,并在标准模型下分析其安全性。结果表明,新协议满足基于身份认证密钥协商协议的所有安全要求。     

分层可信计算平台模型的研究与实现*

提出了一种基于现有计算机网络的可信计算平台模型。该模型充分利用了现有的计算机及其网络平台的通用性,将现有的计算平台分层逻辑化为不同的信任层,不仅降低了可信计算平台模型实施的难度,而且提高了其灵活性、扩展性和效率;同时该模型从客户端系统的引导阶段出发构建完整的可信链,保证了可信计算平台的安全性;此外该模型解决了现有的可信计算平台的方向性和系统输入未知性的问题。原型系统实现的结果表明,由于系统中所有计算机及其网络构成统一的可信计算平台,使信任的传递从用户到用户,进而实现真正的对于用户体验的可信计算。     

T-S模糊控制方法在生物流化床系统中的应用

针对生物流化床污水处理系统的非线性、时滞、时变等问题,提出采用T-S模糊控制方法,将复杂的非线性系统模糊化为局部线性模型,并引入积分环节,降低T-S模糊控制器维数,简化规则.最后,通过实验进行理论验证.实验结果表明,该方法可行且有效.     

关于加权的Bernstein-Markov型不等式

假设函数f在端点处具有奇性,该文针对此类函数定义了一类修正的Bernstein算子,并在此基础上给出了修正的Bernstein算子的加权Bernstein-Markov型不等式,此类不等式推广了数学工作者们的结论。     

R&D项目价值评估的灰色B-S模型

针对传统净现值法不能有效评估RD项目价值的缺点,探讨了RD项目价值评估的适用方法,建立了基于区间灰数的RD项目价值评估灰色B-S模型,通过实例说明了该模型的有效性,并与传统净现值法的评估结果进行比较.结果表明,实物期权方法在评估RD项目价值时具有优势,为RD项目投资决策提供了一条新思路.     

一类燃烧模型方程组的整体经典解

燃烧模型是拟线性双曲方程组中一类重要的物理模型.考虑燃烧模型方程组的Cauchy问题,利用特征线和局部经典解延拓的方法证明了经典解的整体存在性.     

焙烧及改性对沸石吸附甲醛性能的影响

通过研究几种不同的焙烧方式对沸石吸附甲醛的影响,得出经过不同焙烧改性的沸石对甲醛均具有一定的吸附量,其中经过NaOH改性后再于400℃焙烧的沸石吸附量比较理想,达到0．1656g／g．