过辰楷

作品数：2被引量：15H指数：2
导出分析报告
供职机构：南开大学更多>>
发文主题：回调函数页面ANDROID应用回调卷积神经网络更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学》《计算机学报》更多>>
所获基金：天津市科委资助项目国家自然科学基金国家科技支撑计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向移动应用软件信息泄露的模型检测研究被引量：12
《计算机学报》2016年第11期2324-2343,共20页过辰楷 许静 司冠南 李恩鹏 徐思涵 
国家自然科学基金(61402264);天津市科学技术委员会项目(12JCZDJC20800);国家科技支撑计划(2013BAH01B05)资助~~
移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露,而泄露形式和内容的复杂性增添了该类漏洞的检测难度.现有方法主要利用传统的静态数据流分析及动态监控等技术,易发生漏报和误报,且无法处理隐式信息泄露问题....
关键词：模型检测 移动应用软件 信息泄露 线性时序逻辑 漏洞检测 
基于分支混淆算法的符号执行技术被引量：3
《计算机科学》2012年第9期115-119,共5页过辰楷 姬秀娟 许静 
南京大学计算机软件新技术国家重点实验室开放课题(KFKT2010B22);天津市科技攻关项目(08ZCKFGX01100)资助
符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及...
关键词：符号执行 软件测试 数组混淆 约束求解 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部