中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [3]
采集方式
OAI收割 [3]
内容类型
期刊论文 [3]
发表日期
2007 [1]
2006 [1]
2004 [1]
学科主题
筛选
浏览/检索结果:
共3条,第1-3条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
基于抽象解释的代码迷惑有效性比较框架
期刊论文
OAI收割
计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814
高鹰
;
陈意云
收藏
  |  
浏览/下载:85/6
  |  
提交时间:2011/07/01
抽象解释
程序变换
程序分析
代码迷惑
压平算法
抽象解释
代码迷惑
有效性证明
比较框架
非语义
算法
实例描述
静态分析
变换技术
保护软件
应用
剖析
逆向
环境
程序Algorithms
Computer software
Mobile agents
Program diagnostics
Security of data
Semantics
Static analysis
基于多分支语句的控制流迷惑技术
期刊论文
OAI收割
小型微型计算机系统, 2006, 期号: 9, 页码: 1637-1640
李永祥
;
陈意云
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/13
switch-case语句,代码迷惑,控制流迷惑
基于函数指针数组的代码迷惑技术
期刊论文
OAI收割
计算机学报, 2004, 卷号: 27, 期号: 12, 页码: 1706-1711
李永祥
;
陈意云
  |  
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2011/07/29
代码迷惑
函数指针
控制流变换
关系函数
指针数组
代码迷惑
技术
程序分析
控制流分析
移动代理
篡改攻击
变换方法
精确度
复杂度
指针分析
网络计算
难以分析
数据流
精确性
调用
程度Distributed computer systems
Performance
Security of data