刘晓建
- 作品数：6 被引量：17H指数：3
- 供职机构：西安科技大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 多上下文特征的Android恶意程序静态检测方法被引量：7
- 2020年
- 提出一种基于多上下文特征的Android恶意程序检测方法,将敏感权限、广义敏感应用程序接口(API)和敏感系统广播三类敏感资源作为原始特征,并与其发生的上下文相结合形成程序特征,区分应用程序的良性和恶意行为.构造了基于回调函数的过程间控制流图,并定义了一组过滤压缩规则.用该方法对4972个应用程序进行检测分析,结果表明:随机森林算法在本文的特征集上表现效果最佳,准确率为95.4%,召回率为96.5%,本文方法比其他方法的检测效果更优.
- 刘晓建雷倩杜茜刘柯宏
- 关键词：恶意程序检测
- 多阈值S-F的光照不均图像分割被引量：5
- 2014年
- 针对钢管识别统计系统开发中,图像分割环节易受光照不均匀影响的问题,以及对图像增强处理后再分割导致目标错分的不足,本文提出一种多阈值S-F(分割-融合)的图像分割方法。该方法根据改进的Otsu多阈值法,采用形态学操作与图像融合技术,实现堆垛钢管目标的提取。实验结果表明,在光照不均匀情况下,该方法对钢管图像的分割效果明显优于传统方法,具有不受光照优劣程度影响、适应性强的特点,可应用于机器视觉领域的目标识别。
- 张立云刘南艳侯媛彬刘晓建
- 关键词：多阈值图像分割改进OTSU法图像融合
- 程序错误的形式化定义和程序容错能力的分级
- 2016年
- 针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.
- 刘晓建朱智林杜慧秋
- 关键词：程序语义容错形式化方法
- 一种基于时间自动机的测试用例生成和构造方法被引量：2
- 2015年
- 为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题,提出了一种基于需求模型的嵌入式控制器测试方法.首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法,然后在行为模型的基础上提出了一种测试用例的生成方法,并给出了缩减测试用例个数和构造典型测试用例的若干条规则,证明了这样产生的测试用例集对于任意被测功能的完整覆盖性.最后通过一个测试案例说明了测试系统的实现方法以及实际效果.
- 刘晓建杜慧秋朱智林
- 关键词：软件测试测试用例生成时间自动机嵌入式控制器
- App合规性检测综述被引量：3
- 2023年
- 随着App使用者数量迅速增长,个人信息主体隐私泄露问题也日渐严重。为此,近年来我国相继出台了有关App个人隐私信息安全的相关法律文件,有关部门也相继开展了App整治工作,旨在对App个人信息的采集、存储和处理等方面进行规范。综述了App合规性问题,揭示出我国App安全面临的挑战性问题,列举了我国各层次部门颁布的App相关法规和政策,并介绍了国家在App治理方面推出的相关措施;综述了App合规性检测方法,将国内外App合规性检测分成App隐私政策的完整性检测、一致性检测和可读性检测三类,并从不同维度和切入点对这三类检测方法进行了分析和总结;对国内App合规性检测平台及其相应功能进行了整理和分析;提出了App合规性检测仍存在的挑战性问题,并展望了未来的发展方向。
- 刘晓建彭玉坤
- 关键词：隐私政策完整性一致性可读性
