增强型安全数据库系统中存储过程的安全性讨论

一、引言随着信息技术、特别是网络应用的飞速发展,对于高科技、军事、金融等需要高安全性的信息领域中的用户来说,原来的那些符合TCSEC/TDI的C类标准数据库管理系统,已不能满足新的安全要求,需要提高数据库的安全性,达到以强制访问控制为基本特征的B类安全标准。强制访问控制的安全策略通常用贝尔-拉帕丢拉模型表示。采用强制访问控制的系统中,实体分为主体与客体。数据库中的主体即为用户,在访问控制粒度为表的数据库中的客体有表、视图等。主体和客体都应具有一个安全级别;安全级别构成偏序关系。访问控制策略为“下读上写”,即对已经标识过的主体和客体,高安全级别的主体可以“读”低安全级别的客体;低安全级别的主体可以“写”高安全级别的客体。     

基于状态检测的TCP包过滤在Linux下的实现方法

该文主要介绍了在Linux2.4内核下基于状态转换和检测的TCP包过滤的实现方法。通过对传统全状态包过滤防火墙的改进,增加了状态转换和连接序号检查,增强了防火墙的安全性。通过日志记录异常状况,系统管理员可以采用相应的措施防止潜在的攻击。     

一个基于权限的移动自组网门限信任模型

探讨了移动自组网所特有的安全威胁, 将Shamir 秘密分割模型和权限思想相结合,提出了一个基于权限的门限信任模型,并提出了一种新的私钥分量刷新技术。分析结果表明,该模型在可信节点剩余很少时仍能完成网络中节点的认证,亦可避免攻击者获取足够的私钥分量进行非法认证。     

一种基于VirtualClock的自适应成比例带宽分配算法

该文提出了一种基于VirtualClock算法的自适应成比例带宽分配算法(ProportionalAdaptiveBandwidthAllo-cationAlgorithmBasedonVirtualClock,PABVC)。该算法将所有的业务流分为绑定流和非绑定流,并根据不同流的配置加以调度,从而实现了绑定带宽同时自适应成比例分配带宽的目的。由于算法的各个部分相关性较弱,所以在保留算法框架和核心部分算法的基础上,可以灵活地加以组合,实现不同的算法变种。最后,该文分析了PABVC算法的优缺点,并且提出了今后的研究重点。     

裂褶菌半合成发酵培养基优化研究

通过碳源和氮源的单因素实验,以及采用葡萄糖、黄豆粉、KH2PO4和MgSO4.7H2O为实验因素的L16(45)正交实验,确定了裂褶菌半合成发酵培养基的最优配方为:葡萄糖50.0g/L、黄豆粉6.0g/L、KH2PO43.0g/L、MgSO4.7H2O0.5g/L;在5L发酵罐的培养研究中发现,裂褶菌在半合成培养基中培养时,菌体量和胞外多糖量比在谷物汁天然培养基中培养时分别高出17.2%和30.0%,说明半合成培养基更利于裂褶菌生长和胞外多糖的分泌。半合成培养基成分简单、易于配制、成本较低,对裂褶菌的工业化培养具有实际应用价值。      

新型核级电子调速控制器的启动功能验证方法

为确保某新型核级电子调速控制器应用的安全可靠,对其首次应用于应急机组时的启动控制方法开展研究。建立半实物仿真平台作为验证工具,并通过真实试验数据和柴油机参数建立柴油机模型,保证半实物仿真平台与实际柴油机的性能指标相接近。调整新型核级电子调速控制器的启动控制策略与现产品电子调速控制器一致。将新型核级电子调速控制器的启动功能在半实物仿真平台上验证,确保半实物仿真试验启动试验数据与原应急机组启动试验数据接近。在应急柴油机上进行启动功能试验,实机试验结果表明启动性能满足应急柴油机组要求,实机启动试验数据与半实物仿真试验数据基本一致。     

不动点问题的一个定理

本文改换了文献[1]中定理4的条件,证明了在紧距离空间的情况下,在一个较弱的一个条件下,有限可交换连续自映射族仍具有不动点。并用一个例子说明在完备空间的情形下,这个条件是不充分的     

基于无人机航拍图像的关键目标点间距测量研究

为了解决以往测距方法受到噪声影响而导致测量结果精准度低的问题,提出了基于无人机航拍图像的关键目标点间距测量研究。依据无人机航拍图像上下行链路测距原理,设计测量方案实现流程。利用三轴机光电经纬仪获取关键目标点方位角和高低角,采用灰度信息匹配方法匹配图像,标记参考点。根据参考点生成特征描述子,通过局部自相关函数曲率对多维特征描述子进行分类,并对像素点进行检测,以此提取特征点,通过无人机上下行链路获取的图像信息进行间距测量计算。经过图像坐标变换、重采样、图像增强、图像平滑步骤完成误差修正,实现去燥目的。在地空链路有线测试平台上进行数值分析,由结果可知,基于无人机航拍图像测距结果更为精准,有效提高了在复杂地理环境下方法测量精度。     

基于攻击意图的报警信息关联研究

当前的入侵检测系统往往只提供给安全管理员大量低级的报警信息,分析这些报警信息极大地加重了安全管理员的负担,并且使得一系列相互关联的重要报警信息常常被淹没在大量不重要的报警信息中,因此迫切需要对于低级的报警信息进行进一步的关联,建立较为高层的攻击场景.本文提出了一个基于攻击意图的报警关联的模型,使用报警信息所对应的攻击行为的目的即攻击意图构建攻击场景.该模型先把入侵检测系统产生的报警信息转化为相应的攻击意图,再根据预先建立的攻击场景对这些攻击意图进行关联,从而实现了报警信息关联.     

纳米二氧化钛改性LDPE薄膜中纳米钛粒子在食品模拟物中的迁移研究

为探究纳米改性LDPE薄膜中纳米钛粒子在食品模拟物中的迁移规律,根据欧盟法规(EU)NO.10/2011,分别采用蒸馏水、3%乙酸溶液(m/V)、10%乙醇溶液(V/V)、95%乙醇溶液(V/V)作为中性、酸性、脂肪性和酒精性食品模拟物,研究在不同温度条件下(40℃和70℃)纳米钛粒子的迁移情况,并研究了微波和紫外处理对迁移结果的影响。研究发现,纳米钛粒子在四种食品模拟物中的迁移量从高到低依次为:酸性食品模拟物、中性食品模拟物、酒精性食品模拟物和脂肪性食品模拟物,并且温度的升高能够促进纳米钛粒子的迁移。纳米钛粒子的迁移量范围为0.0046 mg/kg~0.61 mg/kg。此外,微波处理也能够促进纳米钛粒子的迁移,紫外处理则没有这样的促进作用。根据欧盟规定所允许的最大迁移量5 mg/kg,迁移实验表明纳米二氧化钛改性LDPE薄膜能够作为一种安全的食品包装膜。