期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于clang的可执行文件碎片化编译技术
被引量:
2
1
作者
张啸川
颜峻
+2 位作者
庞建民
张宇嘉
谭捷
《信息工程大学学报》
2017年第3期343-346,共4页
提出可执行文件碎片化编译技术,将可执行文件中的静态链接在编译时自动转为动态链接。每个动态库采用多样化编译至若干个变体,运行时随机调用。增加软件运行时状态的不确定性,更大程度地保护软件。
关键词
多样化编译
碎片化
动态库
拟态安全
在线阅读
下载PDF
职称材料
基于企业网格的作业管理系统中的安全机制
2
作者
张啸川
董晓虎
《微电子学与计算机》
CSCD
北大核心
2008年第1期76-79,84,共5页
企业网格是建立在Internet的基础之上,必然会面临网络中各种各样的安全问题。针对企业网格分布式、多层、多用户的特点,提出了一种基于企业网格的网格安全模型。该模型对用户采用混合式账户管理方式,具有高效、安全的特点;通过基于PKI...
企业网格是建立在Internet的基础之上,必然会面临网络中各种各样的安全问题。针对企业网格分布式、多层、多用户的特点,提出了一种基于企业网格的网格安全模型。该模型对用户采用混合式账户管理方式,具有高效、安全的特点;通过基于PKI体系的数字证书进行用户认证,根据网格用户种类的区别提供不同的单点登录方案;综合使用RBAC与ACL的访问控制机制,既能保证用户访问资源的安全,又能简化用户授权的管理。
展开更多
关键词
企业网格
安全模型
用户管理
身份认证
单点登录
访问控制
在线阅读
下载PDF
职称材料
一种基于神经机器翻译模型的跨平台的基本块嵌入方法
3
作者
张啸川
孙笛
+1 位作者
庞建民
周鑫
《信息工程大学学报》
2020年第1期49-54,共6页
基本块嵌入是基于机器学习的二进制程序分析方法中的基础工作。现有的基本块嵌入解决方案主要存在两个不足:基本块嵌入包含有限的语义信息与只适用于单个指令集体系结构。为克服局限性,提出了一种跨平台的基本块嵌入方法,利用神经机器...
基本块嵌入是基于机器学习的二进制程序分析方法中的基础工作。现有的基本块嵌入解决方案主要存在两个不足:基本块嵌入包含有限的语义信息与只适用于单个指令集体系结构。为克服局限性,提出了一种跨平台的基本块嵌入方法,利用神经机器翻译模型建立两个平台之间的关联。所提嵌入模型能够将任意平台基本块的丰富语义信息映射到相同的向量空间中。实验结果表明,该方法明显优于其他方法。
展开更多
关键词
基本块嵌入
跨平台
神经机器翻译
在线阅读
下载PDF
职称材料
代码混淆技术研究综述
被引量:
11
4
作者
张宇嘉
张啸川
庞建民
《信息工程大学学报》
2017年第5期635-640,共6页
随着软件逆向技术的不断发展,很长一段时间,软件盗版和针对软件的攻击使得软件行业遭受了巨大的损失。特别是近年来,虚拟和调试技术的融合,使得软件分析技术变得更加容易。因此,如何有效地保护计算机软件成为一项重要的研究课题。当前...
随着软件逆向技术的不断发展,很长一段时间,软件盗版和针对软件的攻击使得软件行业遭受了巨大的损失。特别是近年来,虚拟和调试技术的融合,使得软件分析技术变得更加容易。因此,如何有效地保护计算机软件成为一项重要的研究课题。当前软件保护的手段有基于硬件的保护、加密保护及基于代码的软件保护等。文章简要分析了各种保护手段,并详细介绍了基于代码的软件保护中应用广泛的代码混淆技术。
展开更多
关键词
逆向工程
代码混淆
软件保护
软件多样化
在线阅读
下载PDF
职称材料
基于MILP的轻量级密码算法ACE与SPIX的线性分析
被引量:
1
5
作者
刘帅
任小广
+4 位作者
王世雄
关杰
张啸川
谭捷
王军
《电子学报》
EI
CAS
CSCD
北大核心
2024年第9期3065-3074,共10页
研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解...
研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解模型得到了2至4步ACE置换与2至5步SLISCP置换最优的线性迹.证明了7步、12步ACE置换分别达到了128比特与320比特的安全目标,7步、13步SLISCP置换分别达到了128比特与256比特的安全目标.对于任意步数的ACE置换与SLISCP置换,认证加密算法ACE-AE-128与SPIX均能够抵抗明文处理阶段的线性区分攻击.
展开更多
关键词
混合整数线性规划
约束求解
轻量级密码算法
线性分析
在线阅读
下载PDF
职称材料
题名
基于clang的可执行文件碎片化编译技术
被引量:
2
1
作者
张啸川
颜峻
庞建民
张宇嘉
谭捷
机构
信息工程大学
出处
《信息工程大学学报》
2017年第3期343-346,共4页
基金
国家自然科学基金资助项目(61472447)
上海市科委科技攻关资助项目(13DZ1108800)
文摘
提出可执行文件碎片化编译技术,将可执行文件中的静态链接在编译时自动转为动态链接。每个动态库采用多样化编译至若干个变体,运行时随机调用。增加软件运行时状态的不确定性,更大程度地保护软件。
关键词
多样化编译
碎片化
动态库
拟态安全
Keywords
compiler-generated software diversity
fragment
dynamic library
mimic security
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于企业网格的作业管理系统中的安全机制
2
作者
张啸川
董晓虎
机构
西北工业大学理学院
西北工业大学软件与微电子学院
出处
《微电子学与计算机》
CSCD
北大核心
2008年第1期76-79,84,共5页
基金
国家“八六三”计划项目(2006AA704302)
文摘
企业网格是建立在Internet的基础之上,必然会面临网络中各种各样的安全问题。针对企业网格分布式、多层、多用户的特点,提出了一种基于企业网格的网格安全模型。该模型对用户采用混合式账户管理方式,具有高效、安全的特点;通过基于PKI体系的数字证书进行用户认证,根据网格用户种类的区别提供不同的单点登录方案;综合使用RBAC与ACL的访问控制机制,既能保证用户访问资源的安全,又能简化用户授权的管理。
关键词
企业网格
安全模型
用户管理
身份认证
单点登录
访问控制
Keywords
enterprise grid
security model
user management
identity authentication
access control
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种基于神经机器翻译模型的跨平台的基本块嵌入方法
3
作者
张啸川
孙笛
庞建民
周鑫
机构
信息工程大学
西安测绘研究所
出处
《信息工程大学学报》
2020年第1期49-54,共6页
基金
国家自然科学基金青年项目资助(61802435,61802433)。
文摘
基本块嵌入是基于机器学习的二进制程序分析方法中的基础工作。现有的基本块嵌入解决方案主要存在两个不足:基本块嵌入包含有限的语义信息与只适用于单个指令集体系结构。为克服局限性,提出了一种跨平台的基本块嵌入方法,利用神经机器翻译模型建立两个平台之间的关联。所提嵌入模型能够将任意平台基本块的丰富语义信息映射到相同的向量空间中。实验结果表明,该方法明显优于其他方法。
关键词
基本块嵌入
跨平台
神经机器翻译
Keywords
basic block embedding
cross-platform
neural machine translation
分类号
TP315.69 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
代码混淆技术研究综述
被引量:
11
4
作者
张宇嘉
张啸川
庞建民
机构
信息工程大学
出处
《信息工程大学学报》
2017年第5期635-640,共6页
文摘
随着软件逆向技术的不断发展,很长一段时间,软件盗版和针对软件的攻击使得软件行业遭受了巨大的损失。特别是近年来,虚拟和调试技术的融合,使得软件分析技术变得更加容易。因此,如何有效地保护计算机软件成为一项重要的研究课题。当前软件保护的手段有基于硬件的保护、加密保护及基于代码的软件保护等。文章简要分析了各种保护手段,并详细介绍了基于代码的软件保护中应用广泛的代码混淆技术。
关键词
逆向工程
代码混淆
软件保护
软件多样化
Keywords
reverse engineering
code obfuscation
software protection
software diversification
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于MILP的轻量级密码算法ACE与SPIX的线性分析
被引量:
1
5
作者
刘帅
任小广
王世雄
关杰
张啸川
谭捷
王军
机构
智能博弈与决策实验室
军事科学院
战略支援部队信息工程大学密码工程学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2024年第9期3065-3074,共10页
基金
国家自然科学基金(No.62102440)。
文摘
研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解模型得到了2至4步ACE置换与2至5步SLISCP置换最优的线性迹.证明了7步、12步ACE置换分别达到了128比特与320比特的安全目标,7步、13步SLISCP置换分别达到了128比特与256比特的安全目标.对于任意步数的ACE置换与SLISCP置换,认证加密算法ACE-AE-128与SPIX均能够抵抗明文处理阶段的线性区分攻击.
关键词
混合整数线性规划
约束求解
轻量级密码算法
线性分析
Keywords
mixed-integer linear programming
constraint problem solving
lightweight cipher
linear analysis
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于clang的可执行文件碎片化编译技术
张啸川
颜峻
庞建民
张宇嘉
谭捷
《信息工程大学学报》
2017
2
在线阅读
下载PDF
职称材料
2
基于企业网格的作业管理系统中的安全机制
张啸川
董晓虎
《微电子学与计算机》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
3
一种基于神经机器翻译模型的跨平台的基本块嵌入方法
张啸川
孙笛
庞建民
周鑫
《信息工程大学学报》
2020
0
在线阅读
下载PDF
职称材料
4
代码混淆技术研究综述
张宇嘉
张啸川
庞建民
《信息工程大学学报》
2017
11
在线阅读
下载PDF
职称材料
5
基于MILP的轻量级密码算法ACE与SPIX的线性分析
刘帅
任小广
王世雄
关杰
张啸川
谭捷
王军
《电子学报》
EI
CAS
CSCD
北大核心
2024
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部