检索结果-内蒙古大学图书馆

密码学报 2017年第4期4卷 333-344页

作者：尹军宋健曾光马传贵数学工程与先进计算国家重点实验室郑州450001 信息工程大学郑州450001 陆军航空兵学院北京101116

差分密码分析是对分组密码比较有效的攻击方法之一,寻找高概率的差分特征是攻击的第一步.Matsui的分枝定界算法是第一个经典搜索差分特征的方法,获取能够抵抗差分攻击的安全界;此外,计算活跃S盒数量的下界是另外一种评估分组密码抵抗差... 详细信息

差分密码分析是对分组密码比较有效的攻击方法之一,寻找高概率的差分特征是攻击的第一步.Matsui的分枝定界算法是第一个经典搜索差分特征的方法,获取能够抵抗差分攻击的安全界;此外,计算活跃S盒数量的下界是另外一种评估分组密码抵抗差分攻击的方法.在2011年,Mouha等人将计算活跃S盒数量的问题转化成混合整数线性规划问题,应用于面向字的分组密码.在2014年亚密会上,Sun等人扩展了Mouha等人的方法,对面向比特的分组密码,在单密钥和相关密钥模型下计算最小活跃S盒数量的下界.本文基于Sun等人的自动化差分特征搜索方法,结合轻量级分组密码ESF设计特点,建立相关密钥下的MILP模型,得到10轮和11轮ESF最优相关密钥差分特征概率分别为2^(-16)和2^(-20).最后,利用搜索得到的11轮相关密钥差分特征,将相应的相关密钥差分区分器向后扩展2轮,提出了13轮的相关密钥差分攻击,攻击的数据复杂度为2^(47),时间复杂度为2^(66).

关键词：轻量级分组密码 ESF算法相关密钥差分分析混合整数线性规划

来源：评论

学校读者我要写书评

暂无评论

基于双层角色映射的跨域授权管理模型

引用

计算机应用 2013年第9期33卷 2511-2515页

作者：任志宇陈性元单棣斌信息工程大学四院郑州450001 河南省信息安全重点实验室郑州450004 数学工程与先进计算国家重点实验室郑州450001

针对传统跨域授权管理模型角色设置方法单一,以及有可能出现隐蔽提升、职责分离冲突等问题,提出一种基于双层角色结构的跨域授权管理模型。通过在管理域内设置双层角色,使得角色的设置与管理更加符合现实需求;采用单向角色映射的方式杜... 详细信息

针对传统跨域授权管理模型角色设置方法单一,以及有可能出现隐蔽提升、职责分离冲突等问题,提出一种基于双层角色结构的跨域授权管理模型。通过在管理域内设置双层角色,使得角色的设置与管理更加符合现实需求;采用单向角色映射的方式杜绝映射环路;引入属性、条件等动态因素,实现了权限的动态调整。采用动态描述逻辑刻画了模型中的概念、关系及管理动作。对模型的安全性分析表明,该模型满足自治性和安全性原则。

关键词：信息安全多域安全互操作跨域角色映射授权管理模型动态描述逻辑

来源：评论

学校读者我要写书评

暂无评论

基于区块链的域间路由策略符合性验证方法

引用

软件学报 2023年第9期34卷 4336-4350页

作者：陈迪邱菡朱俊虎王清贤樊松委中国人民解放军战略支援部队信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室河南郑州450002 电子信息系统复杂电磁环境效应国家重点实验室河南洛阳471003 郑州大学软件学院河南郑州450003

域间路由系统自治域(ASes)间具有不同的商业关系和路由策略.违反自治域间出站策略协定的路由传播可能引发路由泄露,进而导致网络中断、流量窃听、链路过载等严重后果.路由策略符合性验证对于保证域间路由系统安全性和稳定性至关重要.但... 详细信息

域间路由系统自治域(ASes)间具有不同的商业关系和路由策略.违反自治域间出站策略协定的路由传播可能引发路由泄露,进而导致网络中断、流量窃听、链路过载等严重后果.路由策略符合性验证对于保证域间路由系统安全性和稳定性至关重要.但自治域对本地路由策略自主配置与隐私保护的双重需求增加了验证路由策略符合性的难度,使其一直是域间路由安全领域尚未妥善解决的难点问题.提出一种基于区块链的域间路由策略符合性验证方法.该方法以区块链和密码学技术作为信任背书,使自治域能够以安全和隐私的方式发布、交互、验证和执行路由策略期望,通过生成对应路由更新的路由证明,保证路由传播过程的真实性,从而以多方协同的方式完成路由策略符合性验证.通过实现原型系统并基于真实路由数据开展实验与分析,结果表明该方法可以在不泄露自治域商业关系和本地路由策略的前提下针对路由传播出站策略符合性进行可追溯的验证,以合理的开销有效抑制策略违规路由传播,在局部部署情况下也具有显著的策略违规路由抑制能力.

关键词：域间路由安全区块链路由策略符合性路由认证

来源：评论

学校读者我要写书评

暂无评论

一种构建超大规模数据中心的模块化网络结构

引用

软件学报 2017年第8期28卷 2196-2213页

作者：陆菲菲谢向辉郭得科朱桂明数学工程与先进计算国家重点实验室江苏无锡214125 解放军信息工程大学国家数字交换系统工程技术研究中心河南郑州450002 国防科学技术大学信息系统工程重点实验室湖南长沙410073

模块化数据中心网络的模块间互联结构和路由负责模块的有效组织以及不同模块服务器间的高效通信,使得如何设计具有高带宽、高容错和高可扩展能力的互联结构以支持大规模、超大规模数据中心的构建,成为模块化数据中心网络需要解决的首要... 详细信息

模块化数据中心网络的模块间互联结构和路由负责模块的有效组织以及不同模块服务器间的高效通信,使得如何设计具有高带宽、高容错和高可扩展能力的互联结构以支持大规模、超大规模数据中心的构建,成为模块化数据中心网络需要解决的首要问题.提出了一种构建超大规模模块化数据中心的模块间互联结构MDKautz.该结构通过模块内大量未被使用的交换机预留高速端口将模块以Kautz图互连,在无需额外增加任何高端交换设备的前提下,构造出具有高带宽、高容错和灵活可持续扩展性的超大规模数据中心网络.对MDKautz的构建方法、路由策略以及扩展方法进行了分析.数学分析和模拟实验结果证明了该新型网络结构具有良好的拓扑特性和通信性能,可有效支持数据中心高带宽、高容错的典型应用.

关键词：超大规模模块化数据中心以服务器为中心并行多路径通信模式

来源：评论

学校读者我要写书评

暂无评论

基于通用可重构处理器的A5算法优化设计实现

引用

计算机工程与设计 2017年第11期38卷 2891-2897页

作者：胡志言杜学绘曹利峰信息工程大学网络空间安全学院河南郑州450001 信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

针对A5-1序列密码算法软件实现速度慢和硬件实现灵活性差的问题,采用时间映射Temporal Mapping和空间映射Spatial Mapping相结合的方法,根据流水线和并行优化设计思想,设计并实现基于通用可重构处理器GReP的A5-1序列密码算法,从提高PE... 详细信息

针对A5-1序列密码算法软件实现速度慢和硬件实现灵活性差的问题,采用时间映射Temporal Mapping和空间映射Spatial Mapping相结合的方法,根据流水线和并行优化设计思想,设计并实现基于通用可重构处理器GReP的A5-1序列密码算法,从提高PE计算并行度和降低PE中ALU计算的访存代价两方面进行优化设计。仿真结果表明,基于GReP实现的A5-1序列密码算法的性能是基于Intel Atom230处理器软件实现的5.2倍,是基于Temporal Mapping设计思想实现的2.2倍。

关键词： A5算法通用可重构处理器线性反馈移位寄存器流水线并行优化

来源：评论

学校读者我要写书评

暂无评论

数据中心网络高效数据汇聚传输算法

引用

计算机学报 2016年第9期39卷 1750-1762页

作者：陆菲菲郭得科方兴谢向辉罗兴国数学工程与先进计算国家重点实验室江苏无锡214125 解放军信息工程大学国家数字交换系统工程技术研究中心郑州450002 信息系统工程国防科技重点实验室(国防科学技术大学)

在数据中心中,类MapReduce的分布式计算系统在数据的混洗阶段产生巨大流量,令数据中心的东西向网络资源成为瓶颈.将这些高度相关的数据流在接收端进行聚合是分布式计算的通用处理方式,为了降低网络通信量并有效利用带宽,文中采用网内关... 详细信息

在数据中心中,类MapReduce的分布式计算系统在数据的混洗阶段产生巨大流量,令数据中心的东西向网络资源成为瓶颈.将这些高度相关的数据流在接收端进行聚合是分布式计算的通用处理方式,为了降低网络通信量并有效利用带宽,文中采用网内关联性流量的汇聚传输策略,将混洗和汇聚并行化,达到进一步降低东西向网络资源消耗、缩短混洗阶段延迟的目的.目前提出的IRS-based算法在适用场景上有一定局限性,为了解决这一问题,文中首先在以服务器为中心的代表结构BCube上建立incast最小树模型,分别提出MIB-based算法和MC-based算法,仅根据已知拓扑结构和发送节点编号即可快速生成一棵近似的最小代价incast树.MIB-based算法针对发送节点强关联的情况,使高层发送节点尽可能汇聚到已有的低层发送节点构建incast树;MC-based算法针对发送节点松散关联的情况,将节点进行最大程度上的聚合,通过增加最少的汇聚点完成incast树的构建.随后将上述两种算法结合起来进一步提出适用于各种场景的M2-based算法,通过推算时间复杂度证明该算法能够满足在线构建incast树的需求.最后,详细分析了M2-based算法对其他数据中心网络结构的适应性以及网内汇聚传输能够减少作业完成时间的原理.小规模实验结果表明,在不同网络规模下,M2-based比IRS-based节省了网络中约3%的数据量,整个作业在混洗和Reduce阶段的等待时间比不采用网内汇聚缩短约2/3;在不同传输节点规模下,M2-based比IRS-based节省了网络中约19%的数据量,整个作业在混洗和Reduce阶段的等待时间比不采用网内汇聚缩短约3/4.

关键词：数据中心数据汇聚网内聚合混洗传输 incast树

来源：评论

学校读者我要写书评

暂无评论

基于UMLsec的软件安全需求建模方法研究

引用

计算机工程与设计 2013年第9期34卷 3124-3129页

作者：李波刘伟王飞信息工程大学河南郑州450004 数学工程与先进计算国家重点实验室河南郑州450004

安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求... 详细信息

安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证。科研信息系统实例表明了该方法的有效性。

关键词：安全扩展安全需求需求获取需求描述建模方法

来源：评论

学校读者我要写书评

暂无评论

基于XML的多类型数据客体访问控制

引用

计算机工程与设计 2015年第2期36卷 335-340,362页

作者：冯瑜杜学绘曹利峰陈华城信息工程大学数学工程与先进计算国家重点实验室解放军95851部队解放军73503部队

为解决安全标记与多类型数据客体绑定的灵活性、一致性不足以及强制访问控制实施粒度粗的问题,提出一种基于XML的多类型数据客体强制访问控制模型。使用XML格式统一表示异构数据客体,引入多级XML文档概念,实现数据客体与安全标记的绑定... 详细信息

为解决安全标记与多类型数据客体绑定的灵活性、一致性不足以及强制访问控制实施粒度粗的问题,提出一种基于XML的多类型数据客体强制访问控制模型。使用XML格式统一表示异构数据客体,引入多级XML文档概念,实现数据客体与安全标记的绑定,在此基础上实施多类型数据客体强制访问控制。该模型基于XML格式,实现了数据客体与安全标记绑定的统一,解决了多级信息系统间异构数据访问控制难的问题,可以实施粒度更细的访问控制,提高了数据客体的利用率,降低了安全标记绑定的复杂度。

关键词：多类型数据客体安全标记绑定强制访问控制可扩展标记语言多级XML文档

来源：评论

学校读者我要写书评

暂无评论

软件Markov链使用模型生成与化简技术

引用

计算机工程与设计 2015年第8期36卷 2114-2119页

作者：冯俊池于磊刘洋信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描... 详细信息

为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。

关键词：统一建模语言马尔科夫链使用模型软件可靠性测试状态化简

来源：评论

学校读者我要写书评

暂无评论

基于JTAG的嵌入式设备固件分析技术

引用

计算机工程与设计 2014年第10期35卷 3410-3415页

作者：赵亚新郭玉东舒辉信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

传统的设备固件逆向分析方法在分析嵌入式设备固件时存在一定困难,针对该问题,提出基于JATG的嵌入式设备固件动态分析方法。利用嵌入式设备提供的JTAG调试接口,在主机端设计并实现一个低成本的原型系统,能够对设备固件进行动态跟踪记录... 详细信息

传统的设备固件逆向分析方法在分析嵌入式设备固件时存在一定困难,针对该问题,提出基于JATG的嵌入式设备固件动态分析方法。利用嵌入式设备提供的JTAG调试接口,在主机端设计并实现一个低成本的原型系统,能够对设备固件进行动态跟踪记录,分析固件的模块组成、设备启动流程和函数调用流程。通过对一台嵌入式Linux设备进行测试,验证了该系统能够准确地分析设备固件的运行机制,能够有效提升设备固件逆向分析效率。

关键词：嵌入式设备动态分析静态分析固件运行机制函数识别

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：