赵敏

作品数：14被引量：30H指数：3
导出分析报告
供职机构：解放军理工大学更多>>
发文主题：应用程序ANDROIDL系统ANDROID平台RI更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《计算机技术与发展》《计算机工程与设计》《计算机工程与应用》《通信学报》更多>>
所获基金：国家科技重大专项国家自然科学基金国家重点基础研究发展计划国家部委资助项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于本体的操作系统安全策略生成模型被引量：2
《计算机工程与应用》2018年第2期114-118,148,共6页彭飞 张涛 徐伟光 赵敏 秦恒加 
2013国家重大专项课题资助(No.2013ZX03006-003)
随着操作系统安全问题增多,用户对于操作系统的安全需求不断涌现,但是目前能够将用户的安全需求转换成现有操作系统上可配置的安全策略的方法很少。通过建立安全属性和系统调用的匹配关系,将安全属性作为授权系统调用的约束,提出一种基...
关键词：安全需求 操作系统 安全策略 本体 访问控制 
移动目标防御技术及基础理论研究现状
《军事通信技术》2016年第4期92-97,共6页王斌祖 徐伟光 张涛 赵敏 
作为"改变游戏规则"的安全防护技术,移动目标防御技术不同于传统的安全防护技术,它尝试通过减少系统的静态性、同构性和确定性来增加攻击者实施攻击的耗费。深入研究该类技术对网络空间安全的发展具有重要意义。文章对现有的移动目标防...
关键词：移动目标防御 改变游戏规则 网络空间安全 
基于龙芯的Windows软件二进制移植研究被引量：1
《计算机工程》2016年第10期107-112,共6页苏煜 张涛 王金双 赵敏 
国家部委基金资助项目
由于龙芯采用无内部互锁流水级的微处理器(MIPS)指令集且主要支持Linux操作系统,但在该平台上的应用软件相对匮乏,且很多传统Windows软件无法在该平台上直接运行。针对该问题,利用Wine仿真Windows系统调用,结合QEMU用户模式实现x86指令...
关键词：QEMU虚拟机 Wine仿真环境 龙芯 指令集翻译 二进制移植 
计算机系统形式化验证中的模型检测方法综述被引量：4
《军事通信技术》2016年第2期38-42,76,共6页彭飞 张涛 王金双 赵敏 
随着计算机系统的功能日益强大,对其进行功能和正确性测试与验证的复杂度也越来越大。形式化方法作为对计算机系统进行描述与验证的重要途径,得到学术界普遍的关注与认可。文章主要介绍形式化方法,详细介绍模型检测的检测原理及其主要技...
关键词：形式化方法 形式化验证 模型检测 状态爆炸 
基于规则集的安全策略冲突检测与消解被引量：1
《军事通信技术》2016年第1期17-22,共6页鲁小杰 张涛 王金双 赵敏 
安全策略是系统安全管理的基础,由于系统环境的复杂性在策略配置中不可避免产生冲突,如何有效的检测与消解策略冲突是应用安全策略的关键。文章分析现有安全策略冲突检测方法的不足,提出了一种一般性的策略描述方法,根据造成冲突的不同...
关键词：基于规则集 安全策略 冲突检测 冲突消解 
面向Android安全性的Smali混淆代码分析被引量：3
《计算机工程与设计》2016年第2期324-330,共7页朱泽策 童燊嗣 沈备军 戚正伟 张涛 赵敏 
国家973重点基础研究发展计划基金项目(2015CB352203);国家科技重大专项基金项目(2012zx03006-002);国家自然科学基金项目(61472242)
Android系统的代码安全性分析面临极大挑战:厂商在发布之前会对Android系统的原生代码进行修改和混淆处理,且常常无法获得其源代码。针对挑战,对Android系统的Smali代码进行分析研究,基于抽象语法树的相似度,比较Android原生代码和厂商...
关键词：安卓安全性 Smali代码 混淆代码 抽象语法树 对比分析 
可信安全云防护系统的设计被引量：1
《科教文汇》2016年第1期176-178,共3页潘林 陈萍 于晗 赵敏 
随着云技术的发展,众多企业在体验云计算带来的诸多好处的同时,也越来越多地面临可信和安全问题。本文在介绍可信云安全技术的技术结构基础上,首先分析了可信云技术的系统设计和安全云技术的系统设计方法,然后总结可信云安全系统的结构...
关键词：可信云 安全云 系统设计 
基于gdb的Android软件漏洞挖掘系统被引量：2
《计算机技术与发展》2015年第8期156-160,共5页杨海民 张涛 赵敏 鲁小杰 
国家科技重大专项基金资助项目(2012ZX03006-003)
传统的漏洞挖掘技术一般适用于x86平台,且是面向PC的。随着Android手机的普及,需要有针对其上运行软件的漏洞挖掘技术。针对当前Android软件市场审核宽松以及该领域研究相对较少等方面存在的一些问题,设计并实现了一种基于gdb的Android...
关键词：Android软件 漏洞挖掘 污点分析 GDB 
面向卓越工程师培养的“信息系统安全”课程建设被引量：5
《计算机工程与科学》2014年第A02期49-51,共3页陈萍 于晗 赵敏 
为适应军队对信息安全应用型高级工程人才的需求,借鉴国际工程教育的最新成果CDIO工程教育理念,从教学内容建设、实践教学创新、教学模式改革、考核体系改革等方面对卓越工程师"信息系统安全"课程建设开展研究和实践,取得了初步成效。
关键词：CDIO 卓越工程师 信息系统安全 课程建设 
基于Android的BSP移植自动适配技术被引量：3
《计算机工程》2014年第11期245-249,共5页杨海民 张涛 赵敏 尤峻 董民 
国家科技重大专项基金资助项目"新一代宽带无线移动通信网"(2011ZX03006-003)
当前Android的板级支持包(BSP)移植开发人员不仅需要熟悉具体型号芯片的开发手册,还需要调整部分驱动封装代码,工作效率较低。为此,通过对Android Linux内核源代码进行重构,设计并实现一种基于源代码分类管理的Andriod BSP移植管理框架...
关键词：LINUX内核 ANDROID Linux内核源码 组织结构 重构 板级支持包移植 自动适配技术 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部