信息流格模型的非法流分析

随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析,使得模型被线性化表述,并将其称为线性信息流格模型。接着,引入马尔科夫链,并利用马尔科夫链的常返态属性和瞬时态属性的概率变化,来量化表示模型中主体和客体之间的转换状态,从而检测出模型内部的各个信息流。进一步地,根据模型内部的主体和客体分别对应的常返态与瞬时态的概率对比,分析每个信息流的安全状态,即:当模型检测中同时出现两个常返态时,违反了安全模型,从而导致非法信息流的出现。由于概率变化存在同一性,该方法会产生误差并影响其检测结果。为弥补这一不足,介绍了SPA语言,然后对线性信息流格模型进行了SPA语言的描述,并采用形式化中的无干扰方法对马尔科夫链模型内概率同一性的不足进行补充说明。最后,检测出其中隐藏的非法信息流,判断出含误差下各个信息流的安全状态,并得出结论:符合安全模型但违反安全策略的信息流不满足无干扰属性。这对信息流安全检测软件的设计及硬件应用具有重要意义。     

一种基于数据平面可编程的软件定义网络报文转发验证机制

针对软件定义网络(SDN)中OpenFlow协议匹配字段固定且数量有限,数据流转发缺少有效的转发验证机制等问题,该文提出一种基于数据平面可编程的软件定义网络报文转发验证机制。通过为数据报文添加自定义密码标识,将P4转发设备加入基于OpenFlow的软件定义网络,在不影响数据流正常转发的基础上,对网络业务流精确控制和采样。控制器验证采样业务报文完整性,并针对异常报文下发流规则至OpenFlow转发设备,对恶意篡改、伪造等异常数据流进行转发控制。最后,构建基于开源BMv2的P4转发设备和基于OpenFlow的Open vSwitch转发设备的转发验证原型,并构建仿真网络进行实验。实验结果表明,该机制能够有效检测业务报文篡改、伪造等转发异常行为,与同类验证机制相比,在安全验证处理开销保持不变的情况下,能够实现更细粒度的业务流精确控制采样和更低的转发时延。     

一种新型离子型铱配合物的合成及其光物理性能表征

以氯桥二聚体(ppy)₂Ir(μ-Cl₂)Ir(ppy)₂、4,4′-二溴-2,2′-联吡啶和六氟磷酸钠为原料合成了一种新型离子型铱配合物[Ir(ppy)₂(Br_2bpy)]⁺PF₆-,产率90%。采用元素分析、红外光谱、核磁谱以及质谱表征确认了目标产物的结构,并考察了其光物理性能。结果发现,配合物[Ir(ppy)₂(Br_2bpy)]⁺PF₆-在630 nm处具有很强的红光发射光谱。并采用溶剂缓慢挥发法培养出[Ir(ppy)₂(Br_2bpy)]⁺PF₆-的单晶,X射线单晶衍射仪对其结构进行了表征,获得了晶体结构参数,结果表明配合物为正交晶系,P2₁₂₁₂₁空间群。     

面向安全协议的虚拟化可编程数据平面

随着网络安全技术的发展,越来越多网络安全协议出现,因此需要网络转发设备对网络安全协议提供支持。可编程数据平面由于其协议的无关性,能够实现安全协议的快速部署。但当前可编程数据平面存在包头多次解析、独占数据平面和密码算法实现难的问题。针对上述问题,该文提出一种面向安全协议的虚拟化可编程数据平面(VCP4),其通过引入描述头降低包头解析次数,提高包头解析效率。使用控制流队列生成器和动态映射表实现可编程数据平面的虚拟化,实现多租户下数据平面的隔离,解决独占数据平面问题。在VCP4的语言编译器中添加密码算法原语,实现密码算法可重用。最后针对VCP4资源利用率,虚拟化性能和安全协议性能进行实验评估,结果显示在实现功能的基础上带来较小的性能损失,且能降低50%的代码量。     

表格式生存模型中特殊情形B的两种估计

表格式生存模型理论对于保险精算领域中进行生命表的设计具有极其重要的意义.在单损失环境下,对表格式生存模型中特殊情形B的分组样本,通过均匀分布假设、指数分布假设及双曲线分布假设,分别给出了死亡概率的矩估计量和极大似然估计量.经验证发现,依据均匀分布假设的两种估计量具有同一表达式,死亡概率的六种估计值在数值上具有良好的近似程度.     

基于ANSYS的高凝点柴油供油系统的温度场研究

冬季使用高凝点柴油时,因其低温流动性差会发生供油不畅或断油现象,温度是影响系统可靠性的重要因素.本文使用ANSYS软件对系统部件的温度场进行了分析,分析结果表明在外界环境温度为-25℃柴油滤清器中的加热棒功率不能低于58W,否则系统不能正常工作;电加热输油管中的功率8W较为合适;ANSYS软件可准确的模拟实际中的温度场.通过实车验证,模拟结果与实际测量基本一致.     

智慧的源泉——《建筑工人》杂志订阅调查

《建筑工人》杂志创刊于1980年,国内外公开发行,每期发行量达10～20万册,在全国建筑、市政和建材类期刊中,多年来一直名列榜首。该杂志集科学性、知识性和实用性于一体,深受建筑工人和广大技术人员的欢迎。为了更好地为建筑事业做出贡献,做好《建筑工人》杂志的订阅工作,我们特意抽空走访了几个不同类型的建筑企业,调查了解建筑企业几年来订阅《建筑工人》杂志的情况和对它的要求及意见。     

液压破碎锤的前沿技术

现在国际上的液压破碎锤(以下简称液压锤)技术已经基本成熟，可靠性不断提高，但液压锤还在继续发展、不断完善，本文论述液压锤的若干前沿技术。     

2008年上半年徐州工程机械租赁市场概况

正当徐州工程机械租赁企业享受2007丰盛租赁收入盛宴时,2008年春天,一场市场寒流悄然突袭.与筑养路机械租赁市场需求旺盛的2007年不同,2008年伊始,徐州工程机械租赁市场设备闲置率上升、租赁价格下浮、租金结算滞后、运营成本增加等一系列不利因素笼罩在徐州工程机械租赁企业的头上.