位置：立项数据库 > 立项详情页
基于行为认证码的软件动态可信认证机制研究
  • 项目名称：基于行为认证码的软件动态可信认证机制研究
  • 项目类别：青年科学基金项目
  • 批准号：61202387
  • 申请代码：F020705
  • 项目来源：国家自然科学基金
  • 研究期限：2013-01-01-2015-12-31
  • 项目负责人：彭国军
  • 依托单位：武汉大学
  • 批准年度：2012
中文摘要：

目前，软件安全问题日益突出，软件动态可信已经成为高可信软件构造等领域亟待解决的关键问题。 本课题提出软件行为认证码的概念，并基于软件行为认证码实施软件动态可信认证研究。首先，深入研究并凝练软件高可信需求，以此为依据从软件中多层次多粒度提取"软件预期关键行为可信描述集"，然后通过软件行为摘要算法对其进行处理获得"软件行为认证码"，针对不同的软件可信需求类别，创建高效的多粒度的软件行为监控机制，通过深入研究软件动态可信演化规律，构建软件动态可信形式化模型，并以此创建一套相对完善的软件动态可信认证机制，初步建立软件动态可信认证理论及关键技术框架，为构建高可信软件提供重要的理论和技术基础。该研究对软件漏洞挖掘及系统安全防护领域的深入研究和应用同样具有重要支撑作用。

中文主题词： 动态可信；可信软件；行为认证；恶意代码；系统安全
结论摘要：

英文主题词Dynamic Trust；Trust Software；Behavior Authenticatiion；Malware；System Security

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 47
  • 2
  • 0
  • 2
  • 1
期刊论文
一种面向敏感信息处理的敏感度度量方法【已录用】
一种组件加载漏洞的动态检测
基于细胞自动机的软键盘布局随机化方案
植入城市计算综述
一种采用硬件虚拟化的内核数据主动保护方法【已录用】
一种Android组件间通信的安全缺陷静态检测方法【已录用】
An Efficient Anonymous Remote Attestation Scheme for Trusted Computing based on Improved CPK【已录用】
基于行为的移动智能终端恶意软件自动化分析与检测系统
ModuleGuard：一种基于动态模块加载的恶意软件检测方法
Research on Android Malware Detection and Interception Based on Behavior
Scheme on user identity attribute preserving based on ring signcryption for cloud computing
一种采用硬件虚拟化的内核数据主动保护方法
一种面向敏感信息处理的敏感度度量方法
云环境下基于属性的用户权限管理研究
云环境下基于环签密的用户身份属性保护方案
A sensitivity measurement for sensitive information processing
S-Tracker:基于栈异常的shellcode检测方法
一种基于对抗的安全软件安全性分析方法
基于行为的Android恶意软件家族分类系统
一种杀毒软件升级流程的安全性分析方法
敏感信息输入安全技术探究
Android组件间通信的安全缺陷静态检测方法
弹性移动云计算的研究进展与安全性分析
基于行为关联分析的异常文件管理活动识别系统
An efficient anonymous remote attestation scheme for trusted computing based on improved CPK
面向Android软件动态行为监测的UI自动化触发与测试方法
恶意代码同源性分析及家族聚类
Android恶意软件检测研究与进展
基于主机与云分析结合的轻量级威胁感知系统
Android手机安全检测与取证分析系统
An Unknown Trojan Detection Method Based on Software Network Behavior
物联网环境下的敏感信息保护方法
基于行为的Android恶意软件判定方法及其有效性
一种基于动态污点的内存越界访问检测框架
一种基于行为的Android恶意软件家族聚类方法
基于用户交互的钓鱼邮件检测机制及其实现
软件二进制代码重用技术综述
基于系统调用的macOS软件行为监测技术和框架
Survey on Key Technology Development and Application in Trusted Computing
键盘输入安全研究
ModuleGuard： A Gatekeeper for Dynamic Module Loading Against Malware
Mitigating ROP Attacks via ARM-Specific In-Place Instruction Randomization
会议论文
Stack Layout Randomization with Minimal Rewriting of Android Binaries
An Instruction-Set Randomization Using Length-Preserving Permutation
获奖
全国大学生信息安全竞赛优秀指导教师奖
全国大学生信息安全竞赛优秀指导教师奖
著作
软件安全
相关项目
基于多源信息融合的恶意代码同源及演化特性自动分析技术研究
期刊论文 18 会议论文 10 专利 6
可信的网络应用软件系统试验验证环境预先研究
期刊论文 5 会议论文 5
体系结构驱动的可信软件构造方法与技术研究
期刊论文 33 会议论文 75
航天嵌入式软件可信性保障集成环境和示范验证与应用
期刊论文 86 会议论文 82
提高程序验证自动化程度的技术
期刊论文 13 会议论文 6
基于可信链的Mobiel Agent运行环境安全增强机制研究
期刊论文 9 会议论文 5
面向威胁的软件可信性分析模型
期刊论文 21 会议论文 9
面向军用可信计算环境的构造及评测试验验证研究
期刊论文 46 会议论文 7 著作 1
面向车联网的可信网络应用软件系统试验环境与示范应用
期刊论文 47 会议论文 81 获奖 2 著作 3
彭国军的项目
面向不可信代码安全分析的移动系统安全性增强关键技术研究
期刊论文 4