基于MILP的轻量级密码算法ACE与SPIX的线性分析

1

作者 刘帅 任小广 +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 职称材料

基于信贷风险控制的机制设计及优化选择 被引量：2

2

作者 张啸川 李家军 《计算机工程与设计》 CSCD 北大核心 2007年第24期5991-5993,共3页

实施信贷风险控制的一项重要措施是机制设计,设计一种满足参与约束与激励相容约束的机制,有利于信贷的银行方控制主观信贷风险。当给定贝叶斯均衡模型(IR1)、(IC2)成立时,推导出银行降低信贷风险的优化机制。该机制将典型的机制设计的... 实施信贷风险控制的一项重要措施是机制设计,设计一种满足参与约束与激励相容约束的机制,有利于信贷的银行方控制主观信贷风险。当给定贝叶斯均衡模型(IR1)、(IC2)成立时,推导出银行降低信贷风险的优化机制。该机制将典型的机制设计的三阶段不完全信息博弈,简化为一个阶段的不完全信息博弈,信贷风险控制整体优化,证明该机制设计及最优选择的有效性。 展开更多

关键词 风险控制 机制设计 最优选择 价值评估 贝叶斯均衡 投资决策

下载PDF 职称材料

基于clang的可执行文件碎片化编译技术 被引量：2

3

作者 张啸川 颜峻 +2 位作者 庞建民 张宇嘉 谭捷 《信息工程大学学报》 2017年第3期343-346,共4页

提出可执行文件碎片化编译技术,将可执行文件中的静态链接在编译时自动转为动态链接。每个动态库采用多样化编译至若干个变体,运行时随机调用。增加软件运行时状态的不确定性,更大程度地保护软件。

关键词 多样化编译 碎片化 动态库 拟态安全

下载PDF 职称材料

国外高校技术转移经验及对陕西省高校的启示 被引量：1

4

作者 张啸川 金惠宁 段婕 《西北工业大学学报（社会科学版）》 2017年第1期24-28,共5页

陕西省是中国科教大省之一,科研力量雄厚,但技术转移数量却较低,知识产权对经济增长的贡献度不足。本文通过研究美国、英国、日本三个发达国家高校技术转移的模式和经验,针对陕西高校技术转移的现状,从技术转移机构建设、高校人才培养... 陕西省是中国科教大省之一,科研力量雄厚,但技术转移数量却较低,知识产权对经济增长的贡献度不足。本文通过研究美国、英国、日本三个发达国家高校技术转移的模式和经验,针对陕西高校技术转移的现状,从技术转移机构建设、高校人才培养、企业改革创新、技术转移政策法规等方面给出相关对策建议,充分发挥政府、企业、高校的共同作用,建立政策支持体系下多渠道、多主体的技术转移路径,加快陕西高校技术转移的步伐,为地方经济发展提供可持续的创新动力。 展开更多

关键词 陕西高校 技术转移 国外高校 经验启示

下载PDF 职称材料

基于企业网格的作业管理系统中的安全机制

5

作者 张啸川 董晓虎 《微电子学与计算机》 CSCD 北大核心 2008年第1期76-79,84,共5页

企业网格是建立在Internet的基础之上,必然会面临网络中各种各样的安全问题。针对企业网格分布式、多层、多用户的特点,提出了一种基于企业网格的网格安全模型。该模型对用户采用混合式账户管理方式,具有高效、安全的特点;通过基于PKI... 企业网格是建立在Internet的基础之上,必然会面临网络中各种各样的安全问题。针对企业网格分布式、多层、多用户的特点,提出了一种基于企业网格的网格安全模型。该模型对用户采用混合式账户管理方式,具有高效、安全的特点;通过基于PKI体系的数字证书进行用户认证,根据网格用户种类的区别提供不同的单点登录方案;综合使用RBAC与ACL的访问控制机制,既能保证用户访问资源的安全,又能简化用户授权的管理。 展开更多

关键词 企业网格 安全模型 用户管理 身份认证 单点登录 访问控制

下载PDF 职称材料

在社会主义法治理念的视阈内论政府、企业的经济法律行为规范

6

作者 张啸川 朱延军 《开发研究》 CSSCI 北大核心 2011年第1期160-160,F0003,共2页

研究政府、企业的经济法律行为,就是为了把来自实证的经验知识上升到理论知识,从而让理论再回到现实中指导我们新的实践,以减少在实践中的决策失误和降低实践成本,这也和认识论相契合。从认识论来看,"实践→理论→实践"的过... 研究政府、企业的经济法律行为,就是为了把来自实证的经验知识上升到理论知识,从而让理论再回到现实中指导我们新的实践,以减少在实践中的决策失误和降低实践成本,这也和认识论相契合。从认识论来看,"实践→理论→实践"的过程表明,认识的首要出发点是正确的认识事实。而法行为是法运动的原点,是法学的一块基石。行为法学正是由法行为→规范→法行为的进路,而已有法学则是从规范→行为→规范的进路,前者不仅注重规范,更注重动态的全过程。行为法学的研究进路正是和实践→理论→再实践的认识论相一致的,这也正是笔者以行为法学方法论为切入点来探讨政府、企业的经济法律行为的原因之一。 展开更多

关键词 规范 规制 政府 企业 经济法律行为

下载PDF 职称材料

基于企业网格的JMS中资源管理方法的研究

7

作者 张啸川 《计算机工程与设计》 CSCD 北大核心 2007年第20期5001-5005,共5页

为集中和有效管理企业网格中的资源,提出了多级资源管理模型,该模型能根据系统规模大小调整资源管理树的深度和广度,模型中的中级调度器间的交互提高了系统的容错性。多级资源管理模型应用在JMS中,解决了资源描述、资源需求描述、资源... 为集中和有效管理企业网格中的资源,提出了多级资源管理模型,该模型能根据系统规模大小调整资源管理树的深度和广度,模型中的中级调度器间的交互提高了系统的容错性。多级资源管理模型应用在JMS中,解决了资源描述、资源需求描述、资源查询和资源匹配等问题,为实现有效利用企业IT资源的目标提供了理论基础和技术保障。 展开更多

关键词 企业网格 作业管理系统 多级资源管理 作业网络 作业管理

下载PDF 职称材料

一种基于神经机器翻译模型的跨平台的基本块嵌入方法

8

作者 张啸川 孙笛 +1 位作者 庞建民 周鑫 《信息工程大学学报》 2020年第1期49-54,共6页

基本块嵌入是基于机器学习的二进制程序分析方法中的基础工作。现有的基本块嵌入解决方案主要存在两个不足:基本块嵌入包含有限的语义信息与只适用于单个指令集体系结构。为克服局限性,提出了一种跨平台的基本块嵌入方法,利用神经机器... 基本块嵌入是基于机器学习的二进制程序分析方法中的基础工作。现有的基本块嵌入解决方案主要存在两个不足:基本块嵌入包含有限的语义信息与只适用于单个指令集体系结构。为克服局限性,提出了一种跨平台的基本块嵌入方法,利用神经机器翻译模型建立两个平台之间的关联。所提嵌入模型能够将任意平台基本块的丰富语义信息映射到相同的向量空间中。实验结果表明,该方法明显优于其他方法。 展开更多

关键词 基本块嵌入 跨平台 神经机器翻译

下载PDF 职称材料

代码混淆技术研究综述 被引量：10

9

作者 张宇嘉 张啸川 庞建民 《信息工程大学学报》 2017年第5期635-640,共6页

随着软件逆向技术的不断发展,很长一段时间,软件盗版和针对软件的攻击使得软件行业遭受了巨大的损失。特别是近年来,虚拟和调试技术的融合,使得软件分析技术变得更加容易。因此,如何有效地保护计算机软件成为一项重要的研究课题。当前... 随着软件逆向技术的不断发展,很长一段时间,软件盗版和针对软件的攻击使得软件行业遭受了巨大的损失。特别是近年来,虚拟和调试技术的融合,使得软件分析技术变得更加容易。因此,如何有效地保护计算机软件成为一项重要的研究课题。当前软件保护的手段有基于硬件的保护、加密保护及基于代码的软件保护等。文章简要分析了各种保护手段,并详细介绍了基于代码的软件保护中应用广泛的代码混淆技术。 展开更多

关键词 逆向工程 代码混淆 软件保护 软件多样化

下载PDF 职称材料

被动区土体加固控制偏压基坑变形效果研究 被引量：1

10

作者 张啸川 《价值工程》 2023年第25期65-68,共4页

根据基坑开挖施工过程中普遍受到偏压荷载的问题,依托某软土地区基坑施工,使用数值模拟方法,考率被动区域加固长度、加固深度、被动区域加固方式研究了偏压作用对基坑变形效果的影响,结果显示:地下连续墙由于施工初期设有内支护,呈现出... 根据基坑开挖施工过程中普遍受到偏压荷载的问题,依托某软土地区基坑施工,使用数值模拟方法,考率被动区域加固长度、加固深度、被动区域加固方式研究了偏压作用对基坑变形效果的影响,结果显示:地下连续墙由于施工初期设有内支护,呈现出典型的近似弓形的变形模式。施加偏压荷载后,偏压侧地连墙顶部朝基坑外侧位移、底面则朝基坑内移动;受加固区宽度、加固区深度、加固区位置影响;偏压侧地连墙最大水平位移和最大弯矩随加固区宽度和加固区深度增大而减小,与被动加固区之间的距离呈正比;坑内隆起受加固区影响显著,应采用坑内全加固。 展开更多

关键词 偏压 基坑 围护结构 被动加固 裙边加固

下载PDF 职称材料

一种大电流输出的DC/DC转换控制电路结构研究

11

作者 张啸川 马奎 杨发顺 《智能计算机与应用》 2023年第2期119-124,共6页

针对传统的三极管版图具有电流集边效应,本文提出了一种具有独特版图结构的开关管的大电流输出的DC/DC转换控制电路结构,能够大大增强电路的驱动能力。其结构主要包括:比较器,基准电压发生器,占空比可控的振荡器,RS触发器以及大电流输... 针对传统的三极管版图具有电流集边效应,本文提出了一种具有独特版图结构的开关管的大电流输出的DC/DC转换控制电路结构,能够大大增强电路的驱动能力。其结构主要包括:比较器,基准电压发生器,占空比可控的振荡器,RS触发器以及大电流输出开关电路。振荡器是由RC电路和比较器组成,为RS触发器提供锯齿波信号,RS触发器另一端信号由比较器提供,通过RS触发器控制大电流输出开关电路,故可添加简单的外围器件搭成升压电路。本设计采用中科渝芯40 V的双极型工艺,实测显示输出管的饱和压降在1.3 V以下时,其最大输出电流可以达到2 A。 展开更多

关键词 大电流输出 DC/DC 升压 双极型工艺

下载PDF 职称材料

针对指令重叠混淆技术的恶意代码反汇编研究

12

作者 戴超 庞建民 +3 位作者 梁光辉 白虹 张啸川 陈茜月 《小型微型计算机系统》 CSCD 北大核心 2016年第9期1975-1979,共5页

为了规避反病毒检测,恶意代码普遍采用混淆技术对抗检测技术.指令重叠是一种恶意代码开发者广泛应用的一种混淆技术,能够有效对抗静态分析.对指令重叠混淆技术的原理进行了分析,将指令重叠混淆分为jump-current型、jump-backward型以及j... 为了规避反病毒检测,恶意代码普遍采用混淆技术对抗检测技术.指令重叠是一种恶意代码开发者广泛应用的一种混淆技术,能够有效对抗静态分析.对指令重叠混淆技术的原理进行了分析,将指令重叠混淆分为jump-current型、jump-backward型以及jump-forward型,进而设计一种改进的行进递归反汇编算法.该算法基于控制转移指令的类型、控制转移指令的转移方向、指令重叠的地址范围实现了对指令重叠混淆技术正确识别.通过实验,本文提出的算法能够有效检测识别采用指令重叠混淆技术的恶意代码,进而提高了反汇编分析的准确性,同时未对执行效率产生显著影响. 展开更多

关键词 恶意代码 指令重叠 混淆 反汇编 行进递归

下载PDF 职称材料

创新创业背景下陕西高校技术转移效率实证研究 被引量：2

13

作者 段婕 白海林 张啸川 《科技创业月刊》 2017年第20期83-88,共6页

文章在分析创新创业背景下陕西省高校技术转移现状及高校技术转移效率不高问题的基础上,以陕西省7所"211"高校为代表样本,建立了高校技术转移效率的评价指标体系。运用DEA方法对高校技术转移效率进行测算,并根据技术效率和规... 文章在分析创新创业背景下陕西省高校技术转移现状及高校技术转移效率不高问题的基础上,以陕西省7所"211"高校为代表样本,建立了高校技术转移效率的评价指标体系。运用DEA方法对高校技术转移效率进行测算,并根据技术效率和规模效率的分析结果认为人员与资金、管理机制、中介机构及利益分配是影响陕西高校技术转移效率的关键因素。提出以市场需求为导向、合理利益分配机制为保障、完善的政策法规为前提、产学研合作为途径的对策建议,以提高陕西省高校技术转移效率。 展开更多

关键词 创新创业 高校技术转移 DEA

下载PDF 职称材料

创新创业背景下的高校技术转移模式——以陕西省为例 被引量：2

14

作者 张啸川 段婕 金惠宁 《中国高校科技》 CSSCI 2017年第11期94-96,共3页

高校作为科研力量的汇聚地,在"双创"背景下将技术转移作为和市场需求对接及产学研合作的重要桥梁,有助于提升高校技术创新能力。目前高校技术转移主要采取传统技术转移模式、技术孵化器模式、技术转移平台模式及技术创业企业... 高校作为科研力量的汇聚地,在"双创"背景下将技术转移作为和市场需求对接及产学研合作的重要桥梁,有助于提升高校技术创新能力。目前高校技术转移主要采取传统技术转移模式、技术孵化器模式、技术转移平台模式及技术创业企业四种模式,高校应建立政策支持体系下多渠道、多主体的技术转移模式,促进创新创业的可持续发展。 展开更多

关键词 技术转移 创新创业 模式 研究

原文传递

上市公司持续上市条件的股权分布问题探讨 被引量：1

15

作者 安青松 张啸川 《证券市场导报》 CSSCI 北大核心 2006年第8期13-21,共9页

上市公司维持上市地位需要满足一定的股权分布标准。本文针对我国证券法律体系中这一规定的不足,通过对股权分布及其标准的概念辨析、实践演进分析、国际比较研究,并从股权分置改革后股份全流通市场环境变化及2006年《证券法》实施后的... 上市公司维持上市地位需要满足一定的股权分布标准。本文针对我国证券法律体系中这一规定的不足,通过对股权分布及其标准的概念辨析、实践演进分析、国际比较研究,并从股权分置改革后股份全流通市场环境变化及2006年《证券法》实施后的制度变迁出发,探讨了我国上市公司持续上市条件的股权分布标准。 展开更多

关键词 上市公司 持续上市标准 股权分布

下载PDF 职称材料

基于政治参与视角的大学生政治社会化问题探析 被引量：27

16

作者 秦燕 张啸川 《当代世界与社会主义》 CSSCI 北大核心 2010年第3期136-140,共5页

大学生政治参与是其政治社会化最通常和广泛意义的实现,大学期间是大学生政治参与意识和参与能力形成的重要时期,大学生的政治参与意识如何,直接影响到他们的政治参与行为。因此,我们应该进一步优化大学生的政治社会化,培养大学生的政... 大学生政治参与是其政治社会化最通常和广泛意义的实现,大学期间是大学生政治参与意识和参与能力形成的重要时期,大学生的政治参与意识如何,直接影响到他们的政治参与行为。因此,我们应该进一步优化大学生的政治社会化,培养大学生的政治参与技能,丰富其政治参与经历。 展开更多

关键词 大学生 政治参与 政治社会化

原文传递

社会国家的兴衰 被引量：1

17

作者 阿兰.苏皮欧 张啸川 马迅 《国外理论动态》 CSSCI 北大核心 2015年第2期43-52,共10页

本文首先从法律和哲学角度介绍了社会国家的诞生与发展,并说明了现代社会国家的三大支柱,然后指出了社会国家目前面临的危机与挑战。关于应对策略,作者认为,需要很好地界定社会国家,拓宽法学分析的视野,从而将社会国家这种制度建构置于... 本文首先从法律和哲学角度介绍了社会国家的诞生与发展,并说明了现代社会国家的三大支柱,然后指出了社会国家目前面临的危机与挑战。关于应对策略,作者认为,需要很好地界定社会国家,拓宽法学分析的视野,从而将社会国家这种制度建构置于历史学和地理学中加以考察。作者指出,严格的法学分析能帮助我们明确社会国家面临的三个尚未解决的问题:依法执政的危机、新的公民连带义务和社会正义观念的转变。 展开更多

关键词 社会国家 团结互助 法学分析 工业化 全球化

原文传递