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

计算机应用研究 2016年第3期33卷 876-881页

作者：苏赢彬杜学绘曹利峰夏春涛范毅凯解放军信息工程大学数学工程与先进计算国家重点实验室 66083部队

为解决在当前信息系统和网络环境日趋复杂的情况下,敏感信息泄露途径多样、隐蔽性高的问题,提出文档敏感信息控制模型DSI-CON。首先在安全属性基础上建立敏感信息泄露威胁模型,分析了其泄露的主要方式,得出安全需求;然后基于使用控制模... 详细信息

为解决在当前信息系统和网络环境日趋复杂的情况下,敏感信息泄露途径多样、隐蔽性高的问题,提出文档敏感信息控制模型DSI-CON。首先在安全属性基础上建立敏感信息泄露威胁模型,分析了其泄露的主要方式,得出安全需求;然后基于使用控制模型提出DSI-CON,并对其进行形式化描述,同时针对安全需求制定了一系列安全策略,对模型安全性进行了研究分析;最后以教研室为例对模型举例应用,设计了模型部署方案。通过方案部署,得出了模型能够对访问前和访问中敏感信息进行实时控制,抵御攻击进程的实验结果;分析结果表明,DSI-CON能很大程度地降低敏感信息泄露风险,对敏感信息起到保护作用。

关键词：敏感信息检测安全属性 DSI-CON 安全策略

来源：评论

学校读者我要写书评

暂无评论

面向HDFS的可证明安全的单点登录协议

引用

计算机应用研究 2016年第7期33卷 2152-2156页

作者：王绍人杜学绘杨智解放军信息工程大学四院郑州450001 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议。协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供... 详细信息

针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议。协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供服务的情况对用户登录票据的流转过程进行了优化,并且运用Capser形式化证明工具对协议的安全性进行了证明。协议降低了HDFS在密钥管理上的开销,解决了用户访问HDFS可能需要频繁认证的问题,提高了登录票据流转的效率,同时协议还具有较高的安全性。理论分析和安全性验证表明,本协议对HDFS的安全高效运行有较大的帮助。

关键词： HDFS 基于身份单点登录 Capser 形式化证明

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机学报 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树

来源：评论

学校读者我要写书评

暂无评论

基于静态污点分析的Android应用Intent注入漏洞检测方法

引用

计算机科学 2016年第9期43卷 192-196页

作者：王允超魏强武泽慧解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对Android应用程序组件间通信过程中的消息载体Intent有可能被攻击者构造进而引发组件被恶意注入的安全风险问题,提出了一种基于静态污点分析的检测方法。在构建Android应用的函数调用图和控制流图的基础上,通过跟踪应用组件内和组件... 详细信息

针对Android应用程序组件间通信过程中的消息载体Intent有可能被攻击者构造进而引发组件被恶意注入的安全风险问题,提出了一种基于静态污点分析的检测方法。在构建Android应用的函数调用图和控制流图的基础上,通过跟踪应用组件内和组件间不可信Intent消息的污点传播过程,检测应用中潜在的Intent注入漏洞。用该方法对4类标准测试应用和50款第三方应用进行测试,实验结果表明了该方法的可行性和有效性。

关键词： Android 静态污点分析函数调用图控制流图 Intent注入漏洞

来源：评论

学校读者我要写书评

暂无评论

一种轻量级的Web服务QoS预测机制

引用

计算机应用研究 2016年第11期33卷 3311-3314,3333页

作者：李国盛王娜解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

服务质量(quality of service,QoS)作为Web服务非功能属性的代表,已被广泛作为重要的服务选择依据。现有QoS预测方法存在着难以兼顾运行效率与预测准确度的问题,且普遍忽略了服务器端的QoS预测。针对该问题,提出一种适用于服务器端环境... 详细信息

服务质量(quality of service,QoS)作为Web服务非功能属性的代表,已被广泛作为重要的服务选择依据。现有QoS预测方法存在着难以兼顾运行效率与预测准确度的问题,且普遍忽略了服务器端的QoS预测。针对该问题,提出一种适用于服务器端环境的轻量级QoS预测机制(LPM)。LPM基于卡尔曼滤波算法构建QoS状态转换模型来实现QoS预测,并借助预测准确度优化预测周期。实验结果显示,在存在显著量测噪声的应用环境中,LPM的预测准确度明显优于常规方法。LPM的QoS预测结果可为用户选择Web服务提供首要的客观依据。

关键词： Web服务服务质量预测服务器端卡尔曼滤波

来源：评论

学校读者我要写书评

暂无评论

一种多义词词向量计算方法

引用

小型微型计算机系统 2016年第7期37卷 1417-1421页

作者：曾琦周刚兰明敬王濛信息工程大学网络空间安全学院郑州450000 数学工程与先进计算国家重点实验室郑州450000

语义相似度计算在自然语言处理领域有着非常重要的作用,近年来随着深度学习技术的兴起,利用词向量的进行语义相似度计算的技术得到广泛应用.人们提出了许多计算词向量的模型和方法,但这些模型中一个词仅对应一个词向量,而自然语言中存... 详细信息

语义相似度计算在自然语言处理领域有着非常重要的作用,近年来随着深度学习技术的兴起,利用词向量的进行语义相似度计算的技术得到广泛应用.人们提出了许多计算词向量的模型和方法,但这些模型中一个词仅对应一个词向量,而自然语言中存在着大量的多义词,因此这些模型不能很好的表示多义词语义特征.本文提出一种多义词词向量计算方法,引入主题模型对多义词进行语义标注,将标注后的词语视为新词进行词向量计算,可得到一个多义词的多个词向量.在中英文两种语料上进行了实验,实验结果表明,该方法能准确计算出多义词不同含义的词向量,语义相似度计算的准确性明显提高.

关键词：词向量多义词主题模型语义相似度

来源：评论

学校读者我要写书评

暂无评论

基于子午工程台站及CHAMP卫星的区域空间磁场建模研究

基于子午工程台站及CHAMP卫星的区域空间磁场建模研究

引用

第34届中国气象学会年会

作者：冯彦蒋勇姜乙刘宝嘉南京信息工程大学数学与统计学院空间天气研究所中国科学院空间天气学国家重点实验室

基于子午工程[1]测点等161个地面磁测数据,50个CHAMP卫星高度实测数据,并结合高空处的50个IGRF12补充测点,基于三个高度的数据首次建立了地磁场三维曲面Spline(3D Spline)模型。在境外添加了39个测点以控制边界效应。通过CM4[2]模型将... 详细信息

基于子午工程[1]测点等161个地面磁测数据,50个CHAMP卫星高度实测数据,并结合高空处的50个IGRF12补充测点,基于三个高度的数据首次建立了地磁场三维曲面Spline(3D Spline)模型。在境外添加了39个测点以控制边界效应。通过CM4[2]模型将所有测点的场源进行分离,统一通过主磁场值建模分析。通过将模拟结果与实测值、曲面Spline(2D Spline)以及Taylor(2D Taylor)、三维Taylor(3D Taylor)模型及IGRF12[3]模型相比较。结果显示3D Spline模型的空间分布与其它模型相比整体趋势一致,但更为曲折,随着高度上升,3D Spline模型的要素Y的强度逐渐减弱。通过比较3D Spline、2D和3D Taylor模型对于不同高度6个缺测点的模拟值,残差和均方根偏差(RMSE),前者的模拟效果最好,要素Y、Z和总强度F的RMSE值要低于其它模型50%以上。3D Splne模型在不同高度处的模拟效果主要取决于该高度附近的实测值数量和精度。

关键词：地磁场三维模型曲面Spline 子午工程 CHAMP卫星 IGRF12.

来源：评论

学校读者我要写书评

暂无评论

云计算取证模型

引用

网络与信息安全学报 2017年第9期3卷 13-23页

作者：高元照李学娟李炳龙吴熙曦信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001 河南理工大学审计处河南焦作454010 白城兵器试验中心吉林白城137000

针对云取证面临的主要挑战,分析云计算特性,提出了一种云取证模型。提出了持续性取证准备服务的部署、基于"迭代"的多轮次证据识别策略和分布式文件系统的多层级数据定位方法、基于"数据隔离"和"按需收集"... 详细信息

针对云取证面临的主要挑战,分析云计算特性,提出了一种云取证模型。提出了持续性取证准备服务的部署、基于"迭代"的多轮次证据识别策略和分布式文件系统的多层级数据定位方法、基于"数据隔离"和"按需收集"策略的证据收集方法、基于云计算资源的综合性证据分析平台的建立。最后,结合云环境下的取证场景,分析了该模型的有效性。

关键词：云计算云取证取证模型取证策略取证方法

来源：评论

学校读者我要写书评

暂无评论

基于动态BP神经网络的恶意代码同源性分析

引用

小型微型计算机系统 2016年第11期37卷 2527-2531页

作者：葛雨玮康绯彭小详信息工程大学网络空间安全学院郑州450000 数学工程与先进计算国家重点实验室郑州450000 保密通信重点实验室成都610041

近年来,随着APT事件的不断曝光,恶意代码的追踪溯源逐渐成为了研究热点.在恶意代码攻击越来越有组织性和目的性的新形势下,定义恶意代码同源性的概念,对现有的恶意代码同源性分析中的特征提取技术进行了分析和总结,根据恶意代码同源性... 详细信息

近年来,随着APT事件的不断曝光,恶意代码的追踪溯源逐渐成为了研究热点.在恶意代码攻击越来越有组织性和目的性的新形势下,定义恶意代码同源性的概念,对现有的恶意代码同源性分析中的特征提取技术进行了分析和总结,根据恶意代码同源性分析的特点,选取了恶意代码多个层次上的关键特征,提出一个基于动态BP神经网络的恶意代码同源性方法.该方法利用动态和静态相结合的方法,提取恶意代码的关键特征并比较不同的样本间这些特征的相似性,以此为输入利用动态BP神经网络算法得到同源性分析结果.实验结果表明,经过实际样本集的训练,该方法能够有效地判别恶意代码之间的同源性.

关键词：恶意代码追踪溯源同源性神经网络

来源：评论

学校读者我要写书评

暂无评论

一个基于混淆电路的选择性公开可验证外包计算方案

一个基于混淆电路的选择性公开可验证外包计算方案

引用

中国密码学会2017年会

作者：杨海宁秦静孙加萌朱斌瑞山东大学数学学院山东济南250100 山东大学数学学院山东济南250100 中国科学院信息工程研究所信息安全国家重点实验室北京100093

由于分析和处理数据对计算能力的要求越来越高,用户更多地选择将自己复杂的计算任务外包给服务器.本文研究了双服务器多用户场景下的外包计算,计算能力较弱的用户把他们的数据(x1,…,xn)作为函数f的输入,将计算f(x1,…,xn)的工作外包给... 详细信息

由于分析和处理数据对计算能力的要求越来越高,用户更多地选择将自己复杂的计算任务外包给服务器.本文研究了双服务器多用户场景下的外包计算,计算能力较弱的用户把他们的数据(x1,…,xn)作为函数f的输入,将计算f(x1,…,xn)的工作外包给两个不合谋的服务器S1和S2,S2计算并返回结果,S1使用指定用户的公钥执行加密操作为指定用户提供一个验证最终结果正确的证明.与已有的方案相比,本文方案满足选择性公开可验证性,即只有指定的用户可以使用自己的私钥验证返回结果是否正确并获得正确的结果,从而可以有效地防止敏感性数据信息被权限之外的人获知;还提高了用户的效率,并且不需要用户间和服务器间进行交互;此外,在某个服务器存在恶意行为的情形下本文方案满足所定义的隐私性和可靠性.本文方案可以避免在云环境中因信息泄露给用户带来损失,具有一定的现实意义.

关键词：信息安全外包计算混淆电路选择性公开可验证性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：