依托等级保护实现世博信息安全保障

如今，等级保护已成为我国信息安全界的热点，尽管在实施过程中还存在疑问，仍有一些难点问题有待解决，但不可否认，在业界各方的共同推动下，等级保护已愈来愈受到关注和重视。它不仅是对信息安全产品或系统的检测、评估以及定级，更重要的是，等级保护是围绕信息安全保障全过程的一项基础性工作。     

轨道斜巷运输综采液压支架断绳事故分析与预防

介绍了斜巷提升运输中钢丝绳的特性,分析了综采液压支架断绳事故的主要原因,提出了预防事故发生的措施。     

基于路径分析和迭代蜕变测试的Bug检测

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。     

安徽芦岭煤矿Ⅱ88采区瓦斯地质规律

根据构造、层序、瓦斯压力、瓦斯含量、瓦斯涌出量等多因素分析了安徽省宿州市芦岭煤矿Ⅱ88采区瓦斯地质规律,并建立了运动学模型和压力梯度计算模型。芦岭煤矿区域构造上由于徐宿弧形构造和双重构造2方面因素,造成其相对于临宿矿区其他矿井的构造应力更集中,瓦斯压力较大、含量较高,突出灾害危险性严重。层序上,芦岭矿井第8煤层发育在最大海泛面时期,为层序内最厚的稳定煤层,顶底板圈闭性良好,瓦斯富集。Ⅱ88采区以采区中部的F14正断层为界划分为东、西2个瓦斯地质单元,分别具有不同的瓦斯压力梯度。东部瓦斯地质单元是F14断层下盘,海拔高度较高但瓦斯压力高,而西部单元(断层上盘)海拔高度较低但瓦斯压力低,与正常瓦斯地质规律相反,初步分析与正断层F14上盘煤层顶板在拉张运动过程中被破坏有关。     

软件漏洞分析技术进展

软件漏洞是信息安全问题的根源之一,其造成的危害越来越大,因此软件漏洞分析逐渐成为信息安全理论研究和实践工作中的一个热门领域。该文首先定义了软件漏洞和软件漏洞分析技术,在此基础上,提出了软件漏洞分析技术体系,并对现有技术进行了分类和对比,归纳出了该领域的科学问题、技术难题和工程问题,最后展望了软件漏洞分析技术的未来发展。     

一种新的布尔规格测试用例生成算法

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.