期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于MapReduce的OpenFlow网络属性验证技术
被引量：
3
1
作者
刘艺
雷程
+1 位作者
张红旗
杨英杰
《计算机研究与发展》
EI
CSCD
北大核心
2016年第11期2500-2511,共12页
针对OpenFlow网络中由程序自动改变数据平面状态方式引起的流表配置错误问题,提出1种基于MapReduce的OpenFlow网络属性验证技术.首先,利用OpenFlow网络控制转发分离的特点,设计支持实时与非实时2种验证方式的技术架构.其次,提出基于MapR...
针对OpenFlow网络中由程序自动改变数据平面状态方式引起的流表配置错误问题,提出1种基于MapReduce的OpenFlow网络属性验证技术.首先,利用OpenFlow网络控制转发分离的特点,设计支持实时与非实时2种验证方式的技术架构.其次,提出基于MapReduce模型的非实时验证算法,在Map阶段划分规则等价类,在Reduce阶段构建基于交换机端口谓词的网络转发图并分析可达性,以实现对网络属性的并行验证.与此同时,利用原子谓词消除谓词集合冗余项和规则匹配域转换的方法,提高可达性分析效率.此外,在非实时验证算法的基础上,结合网络更新事件提出实时验证算法,实现网络状态改变时的增量式网络属性验证.最后,理论分析和仿真实验验证了该技术的运行效率和存储开销,并分析了其对TCP连接建立时间的影响.
展开更多
关键词
流表配置
网络可达性分析
网络属性验证
MAPREDUCE模型
OpenFlow网络
下载PDF
职称材料
基于即时编译的动态污点跟踪优化
被引量：
1
2
作者
吴泽智
陈性元
+1 位作者
杨智
杜学绘
《软件学报》
EI
CSCD
北大核心
2017年第8期2064-2079,共16页
动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了...
动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了38%的内存占用和指令执行时间,系统整体性能平均提升了6.8%.
展开更多
关键词
安卓
隐私安全
动态污点跟踪
即时编译器
污点传播优化
下载PDF
职称材料
题名
基于MapReduce的OpenFlow网络属性验证技术
被引量：
3
1
作者
刘艺
雷程
张红旗
杨英杰
机构
解放军信息工程大学
河南省
信息安全
重点
实验室
(
解放军信息工程大学
)
出处
《计算机研究与发展》
EI
CSCD
北大核心
2016年第11期2500-2511,共12页
基金
国家"八六三"高技术研究发展计划基金项目(2012AA012704)
郑州市科技领军人才项目(131PLJRC644)~~
文摘
针对OpenFlow网络中由程序自动改变数据平面状态方式引起的流表配置错误问题,提出1种基于MapReduce的OpenFlow网络属性验证技术.首先,利用OpenFlow网络控制转发分离的特点,设计支持实时与非实时2种验证方式的技术架构.其次,提出基于MapReduce模型的非实时验证算法,在Map阶段划分规则等价类,在Reduce阶段构建基于交换机端口谓词的网络转发图并分析可达性,以实现对网络属性的并行验证.与此同时,利用原子谓词消除谓词集合冗余项和规则匹配域转换的方法,提高可达性分析效率.此外,在非实时验证算法的基础上,结合网络更新事件提出实时验证算法,实现网络状态改变时的增量式网络属性验证.最后,理论分析和仿真实验验证了该技术的运行效率和存储开销,并分析了其对TCP连接建立时间的影响.
关键词
流表配置
网络可达性分析
网络属性验证
MAPREDUCE模型
OpenFlow网络
Keywords
flow table configuration
network reachability analysis
network property verification
MapReduce model
OpenFlow network
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于即时编译的动态污点跟踪优化
被引量：
1
2
作者
吴泽智
陈性元
杨智
杜学绘
机构
解放军信息工程大学
三院
密码科学技术国家
重点
实验室
(北京
信息
科学技术研究院)
河南省
信息安全
重点
实验室
(
解放军信息工程大学
)
出处
《软件学报》
EI
CSCD
北大核心
2017年第8期2064-2079,共16页
基金
国家自然科学基金(61402437)
国家高技术研究发展计划(863)(2015AA016006
2012AA012704)~~
文摘
动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了38%的内存占用和指令执行时间,系统整体性能平均提升了6.8%.
关键词
安卓
隐私安全
动态污点跟踪
即时编译器
污点传播优化
Keywords
Android
privacy security
dynamic taint tracking
just-in-time compiler
taint propagation optimization
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于MapReduce的OpenFlow网络属性验证技术
刘艺
雷程
张红旗
杨英杰
《计算机研究与发展》
EI
CSCD
北大核心
2016
3
下载PDF
职称材料
2
基于即时编译的动态污点跟踪优化
吴泽智
陈性元
杨智
杜学绘
《软件学报》
EI
CSCD
北大核心
2017
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
