刘晓建

作品数：6被引量：18H指数：3
导出分析报告
供职机构：西安科技大学计算机科学与技术学院更多>>
发文主题：APIANDROID恶意程序检测恶意程序应用程序接口更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《兰州大学学报（自然科学版）》《计算机工程与应用》《微电子学与计算机》《华中科技大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金山东省自然科学基金陕西省教育厅科研计划项目陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
App合规性检测综述被引量：4
《计算机工程与应用》2023年第3期1-12,共12页刘晓建 彭玉坤 
国家自然科学基金(61702408);陕西省自然科学基金(2017JM6105);教育部产学协同育人项目(西安四叶草信息安全有限公司“软件安全课程建设和教学资源开发”);教育部产学协同育人项目(华为技术有限公司“基于openEuler的操作系统课程资源开发”)。
随着App使用者数量迅速增长,个人信息主体隐私泄露问题也日渐严重。为此,近年来我国相继出台了有关App个人隐私信息安全的相关法律文件,有关部门也相继开展了App整治工作,旨在对App个人信息的采集、存储和处理等方面进行规范。综述了Ap...
关键词：App合规性检测 隐私政策 完整性 一致性 可读性 
多上下文特征的Android恶意程序静态检测方法被引量：7
《华中科技大学学报（自然科学版）》2020年第2期85-90,共6页刘晓建 雷倩 杜茜 刘柯宏 
国家自然科学基金资助项目(61702408);陕西省科技计划资助项目(2017JM6105);教育部协同育人资助项目(2010918001).
提出一种基于多上下文特征的Android恶意程序检测方法,将敏感权限、广义敏感应用程序接口(API)和敏感系统广播三类敏感资源作为原始特征,并与其发生的上下文相结合形成程序特征,区分应用程序的良性和恶意行为.构造了基于回调函数的过程...
关键词：恶意程序检测 静态分析 机器学习 多上下文特征 广义敏感应用程序接口(API) 
开源程序的软件缺陷分布特征的量化分析研究
《电子元器件与信息技术》2017年第4期49-53,共5页刘柯宏 刘晓建 
陕西省自然科学基础研究计划面上项目"Android应用程序恶意隐私信息泄露行为的检测方法研究"(2017JM6105)的资助
软件缺陷是影响软件安全性和可靠性的重要因素,研究软件缺陷的基本性质,发掘软件缺陷的内在规律,对于提高软件的安全性和可靠性具有重要意义。本文通过公开发布的软件缺陷数据库,获取了几类典型开源程序的软件缺陷数据,统计了软件缺陷...
关键词：软件缺陷 安全性 开源程序 统计分析 
程序错误的形式化定义和程序容错能力的分级
《兰州大学学报（自然科学版）》2016年第4期557-563,共7页刘晓建 朱智林 杜慧秋 
陕西省教育厅科研计划项目(2013JK1188);山东省自然科学基金项目(ZR2012FL11);西安科技大学博士后启动基金项目(2013QDJ023);国家自然科学基金煤炭联合基金项目(U1261114)
针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错...
关键词：程序失效 程序语义 容错 形式化方法 软件安全性 
一种基于时间自动机的测试用例生成和构造方法被引量：2
《微电子学与计算机》2015年第9期169-176,共8页刘晓建 杜慧秋 朱智林 
陕西省教育厅科研计划项目(2013JK1188);山东省自然科学基金(ZR2012FL11);西安科技大学博士后启动基金(2013QDJ023)
为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题,提出了一种基于需求模型的嵌入式控制器测试方法.首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法,然后在行为模型的基础上提出了一种测试用例的生成方法,并给...
关键词：软件测试 测试用例生成 时间自动机 嵌入式控制器 
多阈值S-F的光照不均图像分割被引量：5
《光电工程》2014年第7期81-87,共7页张立云 刘南艳 侯媛彬 刘晓建 
陕西省教育厅科学研究计划项目资助(2013JK1188);西安科技大学博士启动基金"软件构件安全性扩展机制的研究";山东省自然科学基金(ZR2012FL11)
针对钢管识别统计系统开发中,图像分割环节易受光照不均匀影响的问题,以及对图像增强处理后再分割导致目标错分的不足,本文提出一种多阈值S-F(分割-融合)的图像分割方法。该方法根据改进的Otsu多阈值法,采用形态学操作与图像融合技术,...
关键词：多阈值 图像分割 改进OTSU法 图像融合 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部