熊焰

作品数：115被引量：423H指数：8
导出分析报告
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文主题：无线传感器网络形式化验证移动自组网移动代理WSN更多>>
发文领域：自动化与计算机技术电子电信电气工程文化科学更多>>
发文期刊：《计算机仿真》《信息安全与通信保密》《中兴通讯技术》《信息网络安全》更多>>
所获基金：国家自然科学基金安徽省自然科学基金国家高技术研究发展计划安徽省高校省级自然科学研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
条件上下文敏感的安卓恶意虚拟化应用检测方法
《电子学报》2024年第11期3669-3683,共15页孟昭逸 黄文超 张威楠 熊焰 
国家自然科学基金(No.62102385);安徽省自然科学基金(No.2108085QF262)。
安卓虚拟化应用作为宿主程序,支持以插件形式动态加载用户所需功能模块.恶意开发者可利用上述应用特性将其真实攻击意图隐藏在插件程序的执行中,以躲避针对宿主程序的检测.然而,插件程序数量众多且难以获取与分析,并且现有基于既定模式...
关键词：移动安全 安卓虚拟化应用 恶意代码 上下文信息 静态分析 异常检测 
基于多视图表示学习的安卓恶意应用检测方法
《信息安全学报》2024年第5期162-177,共16页赵文翔 孟昭逸 熊焰 黄文超 刘奇旭 
国家自然科学基金项目(No.62102385,No.62372422,No.62272434,No.61972369);安徽省自然科学基金项目(No.2108085QF262);中央高校基本科研业务费专项资金(No.WK2150110024)资助。
安卓操作系统自发布以来一直保持着很高的市场份额,并且由于安卓应用的数量庞大、功能繁多、行为语义复杂,攻击者可采取多种手段将其真实攻击意图隐藏在合法功能之中。然而,现有检测方案往往只能识别有限类型的恶意应用及行为。为了解...
关键词：Android恶意应用检测 异构信息网络 多视图融合 图表示学习 
基于Tamarin的门罗币支付协议分析方法
《信息网络安全》2024年第5期756-766,共11页李雨昕 黄文超 王炯涵 熊焰 
国家自然科学基金[62372422,61972369,62102385];安徽省自然科学基金[2108085QF262];中央高校基本科研业务费专项资金[WK2150110024]。
门罗币作为一款基于区块链技术的高度匿名加密货币协议,旨在为用户提供强大的隐私保护功能。与其他加密货币不同,门罗币通过独特的支付协议对用户的交易隐私加强保护。然而,支付协议中存在的安全漏洞可能导致攻击者对交易信息进行分析...
关键词：门罗币 TAMARIN 支付协议 符号模型 
一种比特币支付协议的形式化建模验证方法
《信息安全研究》2024年第4期311-317,共7页王炯涵 黄文超 汪万森 熊焰 
国家重点研发计划项目(2021QY2104);中央高校基本科研业务费专项资金项目(WK2150110024);国家自然科学基金项目(61972369,62102385,62372422);安徽省自然科学基金项目(2108085QF262)。
作为主流的数字加密货币,比特币的安全性受到广泛关注,并且围绕其展开大量的研究工作.然而目前针对比特币支付过程的分析还比较欠缺,缺乏相关的安全标准和精细的建模分析,难以确保相关协议的安全.针对这一问题,基于比特币社区规范与比...
关键词：比特币 形式化验证 网络协议安全 支付过程 符号模型 
面向程序可达性验证的数组处理循环压缩方法
《信息网络安全》2024年第3期374-384,共11页许良晨 孟昭逸 黄文超 熊焰 
国家自然科学基金[62372422,61972369,62102385];中央高校基本科研业务费专项资金[WK2150110024];安徽省自然科学基金[2108085QF262]。
计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,...
关键词：等价类分析 软件形式化验证 静态分析 系统依赖图 
一种基于静态分析的多视图硬件木马检测方法
《信息网络安全》2023年第10期48-57,共10页陈星任 熊焰 黄文超 付贵禄 
国家自然科学基金[61972369,62102385,62272434,62372422];国家重点研发计划[2021QY2104];安徽省自然科学基金[2108085QF262]。
随着集成电路产业的全球化,大部分设计、制造和测试过程已经转移到了世界各地不受信任的第三方实体,这样可能存在攻击者在硬件设计中插入有恶意行为电路的风险,即硬件木马。在早期发现硬件木马至关重要,若在设计后期或制造后再想移除它...
关键词：硬件木马检测 多视图融合 图表示学习 静态分析 
基于异质信息网络的安卓虚拟化程序检测方法被引量：2
《计算机应用研究》2023年第6期1764-1770,共7页张威楠 孟昭逸 熊焰 黄文超 包象琳 
国家自然科学基金资助项目(62102385);安徽省自然科学基金资助项目(2108085QF262,2108085QF264)。
考虑到安卓应用虚拟化技术的功能特性,精确检测安卓虚拟化程序是识别其隐藏安全风险的基础和必要前提。为此,提出了基于异质信息网络的安卓虚拟化程序检测方法,并实现了原型系统Aiplugin。根据安卓虚拟化程序的特点,提取四类静态程序特...
关键词：异质信息网络 安卓虚拟化程序 安卓安全 软件工程 
基于安全协议代码的形式化辅助建模研究被引量：2
《计算机应用研究》2023年第4期1189-1193,1202,共6页葛艺 黄文超 熊焰 
国家自然科学基金面上项目(61972369);国家自然科学基金青年项目(62102385);安徽省自然科学基金资助项目(2108085QF262)。
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方...
关键词：形式化验证 形式化建模 协议代码 污点分析 TAMARIN 
融合注意力机制与孪生神经网络的更新日志主题学习模型被引量：1
《计算机应用研究》2023年第2期349-353,393,共6页张鑫 黄文超 熊焰 
国家重点研发计划资助项目(2018YFB2100300,2018YFB0803400);国家自然科学基金资助项目(61972369,62102385);安徽省自然科学基金资助项目(2108085QF262)。
为进一步挖掘更新日志信息,提出了基于注意力机制的孪生双向LSTM网络模型,对更新日志进行分类以实现主题标注,并辅助定位代码缺陷位置。该模型提出了具有安全特色的分词工具实现日志预处理,借助双向LSTM网络学习更新日志语义信息,通过...
关键词：更新日志 孪生神经网络 注意力机制 双向LSTM 
面向形式化证明的命令生成技术
《计算机系统应用》2022年第1期273-278,共6页莫广帅 熊焰 黄文超 
国家自然科学基金(61972369)。
随着软件规模的不断增大,软件安全问题日益严重.作为软件系统安全检测的有效手段,形式化证明旨在利用数学方法完成对软件属性的严格验证.常用的形式化证明方法利用模式匹配来进行定理证明,但存在策略生成不完备等缺陷.本文提出一种基于...
关键词：形式化证明 COQ 命令预测 LSTM 注意力机制 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部