期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
IKEv2协议安全性分析与改进
被引量：
7
1
作者
高翔
李亚敏
+1 位作者
郭玉东
马
红
途
《计算机应用》
CSCD
北大核心
2005年第3期563-564,572,共3页
简单介绍了新一版密钥交换协议草案IKEv2,对IKEv2密钥协商机制的安全性进行分析。通过分析,发现其EAP交换过程繁琐且身份信息不易隐藏;证书验证中可能受到假冒证书攻击;为避免安全隧道非授权访问而需要重新认证等几处安全问题。针对这...
简单介绍了新一版密钥交换协议草案IKEv2,对IKEv2密钥协商机制的安全性进行分析。通过分析,发现其EAP交换过程繁琐且身份信息不易隐藏;证书验证中可能受到假冒证书攻击;为避免安全隧道非授权访问而需要重新认证等几处安全问题。针对这几处安全问题提出了改进建议和解决方法。
展开更多
关键词
IKEV2
EAP
认证
下载PDF
职称材料
基于SUIF自动产生具有OpenMP编译指示的并行程序
被引量：
1
2
作者
马
红
途
赵荣彩
+1 位作者
张平
高翔
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第8期90-92,114,共4页
介绍了如何基于SUIF实现具有OpenMP编译指示的自动并行化工作,即利用SUIF系统所提供的遍(pass)、注释(annotation)和C抽象语法树等技术,通过对类Ctree的修改,把并行注释转化为OpenMP编译指示,实现由串行程序到并行C程序的自动生成。
关键词
SUIF
OPENMP
注释
抽象语法树
C抽象语法树
下载PDF
职称材料
Linux下IKEv1和IKEv2协议的仿真分析
3
作者
高翔
马
红
途
《计算机工程与设计》
CSCD
北大核心
2007年第24期5867-5869,共3页
IETF对IKEv2协议的发布已经使IKEv2成为一个正式的RFC规范,正在逐步地取代IKEv1成为新一代互联网密钥交换标准。IKEv2对IKEv1进行了全面的优化和改进。为了对比IKEv2与IKEv1两版协议的密钥协商特性,提出了Linux下IKEv2的一种实现方案,...
IETF对IKEv2协议的发布已经使IKEv2成为一个正式的RFC规范,正在逐步地取代IKEv1成为新一代互联网密钥交换标准。IKEv2对IKEv1进行了全面的优化和改进。为了对比IKEv2与IKEv1两版协议的密钥协商特性,提出了Linux下IKEv2的一种实现方案,并且基于这种方案对两版IKE协议进行了仿真测试,根据测试结果分析比较了IKEv1和IKEv2的密钥协商效率。
展开更多
关键词
互联网密钥交换协议
安全关联
安全策略
密钥协商
网络仿真
下载PDF
职称材料
控制流图上支配关系计算方法的分析与实现
被引量：
1
4
作者
马
红
途
赵荣彩
苏彦兵
《计算机科学》
CSCD
北大核心
2009年第3期54-57,77,共5页
支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛。采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPE...
支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛。采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPEC2000测试集上进行了测试。测试结果表明:控制流图的构建占用了过程内支配关系计算的几乎一半时间;对于不包含goto语句的结构化程序,迭代算法一般只需迭代2次。
展开更多
关键词
控制流图
迭代算法
位向量
支配关系
下载PDF
职称材料
基于支配边界逆转的多变量Φ函数摆放算法
5
作者
马
红
途
胡世安
+2 位作者
苏彦兵
李迅
赵荣彩
《计算机研究与发展》
EI
CSCD
北大核心
2011年第2期346-352,共7页
基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转(dominatorfrontier inverse,DFI)来同时为多个变量摆放Φ函数.如果结点y以结点x为支配边界,则结点x就是结点y支配边界逆转.支配边界逆转存在一个很重要的属性,DFI...
基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转(dominatorfrontier inverse,DFI)来同时为多个变量摆放Φ函数.如果结点y以结点x为支配边界,则结点x就是结点y支配边界逆转.支配边界逆转存在一个很重要的属性,DFI(x)中的结点在支配树上的高度一定不小于x的高度.对DFI(x)中任何结点y,如果存在对于变量v的定义,则结点x上就需要插入变量v的Φ函数.由于采用PHI(x)表示在结点x上需要插入Φ函数的变量集合,实现过程中并不需要实际计算DFI结点集合.算法首先按照结点在支配树上的高度自底向上进行遍历,并逐层计算高度相同的交结点上摆放函数的变量集合PHI的不动点.算法的主要优点是可以直接工作于支配树上,不需要额外的数据结构.C Specint 2000的测试结果表明该算法比Cytron原始的Φ函数摆放算法要快,并且与采用Cooper计算支配边界的算法相比,该算法对测试集中大部分程序也是有效的.
展开更多
关键词
静态单赋值
支配边界
支配边界逆转
Φ结点
DJ图
下载PDF
职称材料
题名
IKEv2协议安全性分析与改进
被引量：
7
1
作者
高翔
李亚敏
郭玉东
马
红
途
机构
信息工程大学信息工程学院
出处
《计算机应用》
CSCD
北大核心
2005年第3期563-564,572,共3页
文摘
简单介绍了新一版密钥交换协议草案IKEv2,对IKEv2密钥协商机制的安全性进行分析。通过分析,发现其EAP交换过程繁琐且身份信息不易隐藏;证书验证中可能受到假冒证书攻击;为避免安全隧道非授权访问而需要重新认证等几处安全问题。针对这几处安全问题提出了改进建议和解决方法。
关键词
IKEV2
EAP
认证
Keywords
IKEv2
EAP
authentication
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于SUIF自动产生具有OpenMP编译指示的并行程序
被引量：
1
2
作者
马
红
途
赵荣彩
张平
高翔
机构
信息工程大学信息工程学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第8期90-92,114,共4页
文摘
介绍了如何基于SUIF实现具有OpenMP编译指示的自动并行化工作,即利用SUIF系统所提供的遍(pass)、注释(annotation)和C抽象语法树等技术,通过对类Ctree的修改,把并行注释转化为OpenMP编译指示,实现由串行程序到并行C程序的自动生成。
关键词
SUIF
OPENMP
注释
抽象语法树
C抽象语法树
Keywords
SUIF
OpenMP
Annotation
Abstract syntax tree
C abstract syntax tree
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Linux下IKEv1和IKEv2协议的仿真分析
3
作者
高翔
马
红
途
机构
信息工程大学 电子技术学院
出处
《计算机工程与设计》
CSCD
北大核心
2007年第24期5867-5869,共3页
文摘
IETF对IKEv2协议的发布已经使IKEv2成为一个正式的RFC规范,正在逐步地取代IKEv1成为新一代互联网密钥交换标准。IKEv2对IKEv1进行了全面的优化和改进。为了对比IKEv2与IKEv1两版协议的密钥协商特性,提出了Linux下IKEv2的一种实现方案,并且基于这种方案对两版IKE协议进行了仿真测试,根据测试结果分析比较了IKEv1和IKEv2的密钥协商效率。
关键词
互联网密钥交换协议
安全关联
安全策略
密钥协商
网络仿真
Keywords
IKE
SA
SP
key negotiation
NS
分类号
TP393.01 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
控制流图上支配关系计算方法的分析与实现
被引量：
1
4
作者
马
红
途
赵荣彩
苏彦兵
机构
信息工程大学信息工程学院
信息工程技术研究所
出处
《计算机科学》
CSCD
北大核心
2009年第3期54-57,77,共5页
基金
国家863计划资助项目(2006AA01Z408)资助
文摘
支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛。采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPEC2000测试集上进行了测试。测试结果表明:控制流图的构建占用了过程内支配关系计算的几乎一半时间;对于不包含goto语句的结构化程序,迭代算法一般只需迭代2次。
关键词
控制流图
迭代算法
位向量
支配关系
Keywords
CFG, Iterative formulation, Bit vector, Dominator
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
TP391 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
基于支配边界逆转的多变量Φ函数摆放算法
5
作者
马
红
途
胡世安
苏彦兵
李迅
赵荣彩
机构
海军装备研究院
解放军信息工程大学信息工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第2期346-352,共7页
基金
国家"八六三"高技术研究发展计划基金项目(2006AA01Z408)
文摘
基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转(dominatorfrontier inverse,DFI)来同时为多个变量摆放Φ函数.如果结点y以结点x为支配边界,则结点x就是结点y支配边界逆转.支配边界逆转存在一个很重要的属性,DFI(x)中的结点在支配树上的高度一定不小于x的高度.对DFI(x)中任何结点y,如果存在对于变量v的定义,则结点x上就需要插入变量v的Φ函数.由于采用PHI(x)表示在结点x上需要插入Φ函数的变量集合,实现过程中并不需要实际计算DFI结点集合.算法首先按照结点在支配树上的高度自底向上进行遍历,并逐层计算高度相同的交结点上摆放函数的变量集合PHI的不动点.算法的主要优点是可以直接工作于支配树上,不需要额外的数据结构.C Specint 2000的测试结果表明该算法比Cytron原始的Φ函数摆放算法要快,并且与采用Cooper计算支配边界的算法相比,该算法对测试集中大部分程序也是有效的.
关键词
静态单赋值
支配边界
支配边界逆转
Φ结点
DJ图
Keywords
static single assignment form
dominance frontier
dominance frontier inverse（DFI）
Φ-node
DJ graph
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
IKEv2协议安全性分析与改进
高翔
李亚敏
郭玉东
马
红
途
《计算机应用》
CSCD
北大核心
2005
7
下载PDF
职称材料
2
基于SUIF自动产生具有OpenMP编译指示的并行程序
马
红
途
赵荣彩
张平
高翔
《计算机工程》
EI
CAS
CSCD
北大核心
2005
1
下载PDF
职称材料
3
Linux下IKEv1和IKEv2协议的仿真分析
高翔
马
红
途
《计算机工程与设计》
CSCD
北大核心
2007
0
下载PDF
职称材料
4
控制流图上支配关系计算方法的分析与实现
马
红
途
赵荣彩
苏彦兵
《计算机科学》
CSCD
北大核心
2009
1
下载PDF
职称材料
5
基于支配边界逆转的多变量Φ函数摆放算法
马
红
途
胡世安
苏彦兵
李迅
赵荣彩
《计算机研究与发展》
EI
CSCD
北大核心
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
