基于SPEAR Ⅱ的Kerberos协议安全性分析

Kerberos认证是云计算安全采用的信息安全技术之一,对Kerberos协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具SPEAR Ⅱ对Kerberos协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点,在此基础上提出推理假设,然后通过SPEAR Ⅱ中基于Prolog的分析引擎从协议假设条件推导到协议目标。结果表明,Kerberos协议可以抵抗窃听和重放攻击,保护合法用户密钥的安全,但在篡改攻击下,若信任主体被攻陷,则攻击者可以通过伪造密钥骗取合法用户的信任,并与合法用户建立通信。     

HACCP在米糠挤压稳定化中的应用

应用HACCP(危害分析关键控制点)原理,通过对生产工艺流程的分析,从中确定可能存在的危害,并制定了相应的控制措施。为了确定挤压膨化关键控制点的控制措施,并达到延长米糠保质期的目的,在四因素五水平实验的基础之上,经正交旋转组合实验设计,根据对挤压后的脂肪氧化物酶残余酶活含量、过氧化物酶残余酶活含量的分析,确定了挤压的较佳稳定化条件为:机筒温度137℃,物料含水量23%,螺杆转速130r/min,模口直径8mm。通过HACCP体系的建立,确定了米糠挤压过程中的关键控制点,确定其3个关键控制点为原料验收、挤压膨化和成品包装。针对3个关键点建立了HACCP计划表,并建立了关键限值、监控措施、纠偏措施,同时建立了验证程序、记录保存制度,从而确保米糠加工过程中的稳定性和安全性。     

多模通风的应用性探讨

目前空调通风房间通常采用单一的气流组织,难于满足或者需要耗费较多的能耗才能满足不断变化的需求.文章针对实际使用中具有许多种场景的情况,提出将各种场景下的高效通风模式结合成一个通风系统的多模通风概念,利用数值模拟方法对多模通风的应用效果进行了探讨,结果表明,多模通风比单一模式通风具有更强的适应性和节能潜力.     

光催化氧化技术处理酸性红染料废水研究

光催化氧化法成为处理工业印染废水的新方法。本文以酸性红B染料作为有机污染物,配制一定质量浓度的模拟印染废水,以光催化氧化反应作为模型反应,探讨了对酸性红B染料进行光催化氧化的可行性。     

网络环境下的图书馆信息咨询

网络环境下信息咨询有很大的优势,给图书馆咨询工作带来很大的变化,但传统的图书馆咨询工作还存在很多不理想的情况。这需要图书馆的咨询工作发生很大转变,如何开展好网络环境下的图书馆咨询工作将是图书馆界需要解决的课题。     

多部图的最大匹配算法

匹配理论是图论中一个重要的分支,已被广泛地应用于许多领域,如组合优化、线性规划、人工智能和矩阵论等.给出一个求解多部图的最大匹配算法,并用仿真例子说明其实用性和有效性,此算法为解决复杂的指派问题开辟了新途径.     

Zn2（M0O4）（SeO3）的水热合成及晶体结构

水热合成了一例新型的混金属的钼亚硒酸盐[Zn2（MoO4）（SeO3）（1）],采用了x-射线单晶衍射、红外光谱分析、热重性质对标题化合物进行了表征。结果表明：标题化合物中的{Zn（1）O4}四面体和{Zn（2）O6}八面体通过共用顶角相连,形成了平行（001）晶面的二维的Zn-O层,{M004}四面体连接Zn—O层形成了复杂的三维框架结构。TG—DSC曲线表明：Zn2（MoO4）（Se03）在温度4850C时开始分解,对应着在485—655℃范围释放SeO,。     

成比例和附加常数故障率模型

利用成比例故障率模型中的平均剩余寿命成比例刻画了指数分布,研究了附加常数故障率模型中的年龄性质和随机比较问题.     

城市轨道交通工程GPS平面控制网的建立与精度分析

本文全面介绍了苏州轨道交通2号线延伸线、4号线及支线工程GPS平面控制网的布设方案,包括GPS控制网布设与观测、基线解算及检核、控制网平差及精度分析和可靠性检验等,同时对轨道交通GPS平面控制网建立的有关问题提出一些建议。