位置：成果数据库 > 期刊 > 期刊详情页
Enhance Information Flow Tracking with Function Recognition
  • 期刊名称：China Communications
  • 时间：0
  • 页码：24-29
  • 语言：英文
  • 分类：TP393.07[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术] U491.17[交通运输工程—交通运输规划与管理;交通运输工程—道路与铁道工程]
  • 作者机构：[1]School of software, Shanghai Jliao Tong University, Shanghai 200240, P. R. China, [2]Key Lab of Information Network Security, Ministry of Public Security, [3]Department of Computer Science ＆ Engineering, Shanghai Jiao Tong University, Shanghai 200240, P. R China, [4]Shanghai Key Laboratory of Scalable Computing ＆ System, Shanghai, P. R. China
  • 相关基金：This work is supported by National Natural Science Foundation of China （Grant No.60773093, 60873209, and 60970107）, the Key Program for Basic Research of Shanghai （Grant No. 09JC1407900, 09510701600, 10511500100）, IBM SUR Funding and IBM Research-China JP Funding, and Key Lab of Information Network Security, Ministry of Public Security.
  • 相关项目：大规模分布式系统实时可预测在线分析研究
作者： Zhou Kan|戚正伟|
关键词： 信息跟踪, 识别功能, 二进制代码, 功能识别, 计算机, 推广使用, 组成部分, 刑事案件, function recognition, information flow tracking, program behavior, e-evidence.
中文摘要：

Zhou Kan, Female, School of software, Shanghai Jiao Tong U- niversity, Master, Research area： program analysis. Published Paper： A Refined Decompiler to Generate C Code with High Readability （WCRE 2010）. Huang Shiqiu,School of software, Shanghai Jiao Tong University, Master, Research area： program analysis. Published Paper： A Refined Decompiler to Generate C Code with High Readability （WCRE 2010）. Huang Shan, School of software, Shanghai Jiao Tong Universi- ty, Master, Research area： program analysis. Qi Zhengwei, School of software, Shanghai JiaoTong University, PhD, Associate Professor, Research area： static/dynamic program analysis, model checking, virtual machines, and distributed systems. Published Paper： ＂A Hybrid Model Checking and Rtmtime Monitoring Method for C ＋ ＋ Web Services. NCM 2009： 745-750＂. ＂FLTL-MC： Online High Level Program Analysis for Web Services. SERVICES I 2009： 171-178＂. ＂An Online Model Checking Tool for Safety and Liveness Bugs. ICPADS 2008： 493-500＂. ＂Transaction Management for Grid Workflow Applications. GCC 2007： 705-712.＂

同期刊论文项目
支持可信计算的虚拟平台研究
期刊论文 2 专利 8
网络环境下基于群体智能方法的虚拟机协同平台研究
期刊论文 5 会议论文 17
大规模分布式系统实时可预测在线分析研究
期刊论文 5 会议论文 12 专利 6 著作 1
同项目期刊论文
动态二进制翻译中的跳转优化技术
CoDBT: A multi-source dynamic binary translator using hardware–software collaborative techniqu
一种分布式Web服务内容的匹配方法研究
SPAD: Software Protection through Anti-debugging Using Hardware-assisted Virtualization
Static program analysis assisted dynamic taint tracking for software vulnerability discovery
MTCrossBit: A dynamic binary translation system based on multithreaded optimization
CoDBT: A multi-source dynamic binary translator using hardware-software collaborative techniques
Partitioning the Conventional DBT System for Multiprocessors
基于词性和中心点改进的文本聚类方法