一个准确高效的基于程序行为的异常检测模型

提出一个高效准确的基于程序行为的异常入侵检测模型,该模型对于静态链接的程序部分以及函数递归基于优化的堆栈遍历技术获得调用堆栈状态信息;对于程序循环,使用代码插入和Null挤压技术来高效地获得系统调用上下文信息;基于动态通知技术,处理非标准的控制转移;从而,能够获得完备的系统调用上下文信息,提高了模型的准确度.给出了模型的描述和实施,分析了其优点.在Linux程序上的实验表明,该模型可保持检测的高效率.

基于程序静态与动态结构的特征定位技术探析

特征定位技术对于解决维护任务中提出的面向特征的程序理解以具有很强的针对性和应用价值,对提高软件维护和程序理解的效率和准确性具有重要的意义。本文对基于程序静态与动态结构的特征定位技术进行了分析和研究。

基于程序的和谐化护理在体检中心护理质量、满意度提升中的应用

探究体检者在体检中心时,为其实施基于程序的和谐化护理干预的效果,重点分析不同护理模式下对护理质量和满意度的提升效果。方法:采用随机数字表法,将我院纳入研究的180例体检者(2020年1月至2020年12月)分组,对照组(一般护理),观察组(基于程序的和谐化护理)。结果:实施后经对比,观察组护理质量指标、护理满意度指标、护理依从性指标皆优于对照组,P<0.05。结论:相比对照组实施的一般护理方案,基于程序的和谐化护理效果更优,体检中心护理质量、护理满意度明显提升,且体检者对护理的依从性更高,研究有较大推广价值。

一种C程序断言的全自动静态验证方法

在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证的完备性。本文提出了一种可以保证完备性的全自动静态断言验证方法,其基本思想是基于程序切片符号执行程序的所有执行路径,并证明路径上的所有断言都满足。为了尽量减少符号执行的语句的数量,使用了基于反例的抽象精化方法,从一个粗略的切片标准开始迭代地符号执行一条路径,根据验证的反例自动生成下一次迭代过程中使用的精化的切片标准。包含循环的程序可能具有无穷多条程序执行路径,提出的基于符号执行上下文不变式证明的方法可以证明由于循环导致的无穷多条路径中断言都满足,从而使得验证过程可以终止。实验表明,提出的全自动静态断言验证方法不仅可行,而且验证代价较小,具有较强的实用性。

城里人、乡下人、外来务工人与警察--有关中国警察信任的实证研究

过去十年间,中国有关民众评价警察的研究大量涌现,但一些被边缘化的社会群体却极少被纳入研究之列。基于对外出务工人员、农村居民和城市居民的相关调查数据,本文研究了中国民众在程序正义和结果正义上的警察信任是否存在差异以及表现性关注和工具性关注是否是预测警察信任的指标。研究发现中国公众在警察信任上往往无法区别程序正义与结果正义的实质不同。与工具性关注相比,表现性关注对警察信任的作用更为显著,诸如信任居委会(村委会)、可感知的法律与秩序及个人生活质量等都是影响警察信任的表现因素。值得注意的是,公众对警察的信任也与新闻媒体密切相关。此外,本文对相关问题未来的研究方向也进行了探讨。