张来顺 作品数:67 被引量:132 H指数:4 供职机构: 解放军信息工程大学电子技术学院 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 河南省科技攻关计划 更多>> 相关领域: 自动化与计算机技术 电子电信 政治法律 文化科学 更多>>
基于RSA的一般访问结构多重秘密共享方案 被引量:1 2009年 利用RSA密码算法分布计算的性质实现了一种新的多重秘密共享方案。在实现的过程中,由秘密分发者根据授权子集的情况,为每个授权子集生成秘密恢复所必须的秘密因子,只有当该授权子集所有用户参与秘密恢复才能恢复秘密。一个用户可以分属于不同的授权子集,但其所持有的秘密份额只有一份。攻击者攻击本方案的难度等同于攻击RSA密码算法。由于RSA算法是一种常用算法,基于RSA可以快速实现该秘密共享方案。 张来顺 周洪伟 原锦辉关键词:RSA加密算法 一般访问结构 多重秘密共享 秘密份额 采用树自动机推理技术的信息抽取方法 被引量:2 2010年 提出了一种利用改进的k-contextual树自动机推理算法的信息抽取技术。其核心思想是将结构化(半结构化)文档转换成树,然后利用一种改进的k-contextual树(KLH树)来构造出能够接受样本的无秩树自动机,依据该自动机接收和拒绝状态来确定是否抽取网页信息。该方法充分利用了网页文档的树状结构,依托树自动机将传统的以单一结构途径的信息抽取方法与文法推理原则相结合,得到信息抽取规则。实验证明,该方法与同类抽取方法相比,样本学习时间以及抽取所需时间上均有所缩短。 谭鹏许 张来顺关键词:信息抽取 基于联盟博弈的云任务调度及Shapley值法的收益分配模型 被引量:3 2020年 为了优化任务执行跨度及任务执行给资源方造成的代价所形成的总代价,提出一种云计算环境中基于联盟博弈的任务调度算法。建立联盟博弈下的云任务调度模型,定义博弈参与者、博弈策略以及效用函数。设计博弈参与者的支付方式,并证明联盟博弈中任务调度的核是非空的,表明任务调度的博弈解可以得到稳定的联盟结构。设计一种基于Shapley值的博弈参与者对于支付的分配方法,证明了该方法下的收益分配是公平合理的。通过仿真实验,证明了联盟博弈算法不仅可以为个体成员降低执行总代价,且与非合作博弈方法相比具有更高的调度效率。 张秋霞 何留杰 张来顺关键词:云计算 任务调度 联盟博弈 效用函数 用信息流控制保证软件可信运行 被引量:1 2011年 提出一种基于信息流控制来保证软件可信运行的方法。首先设计一种信息流控制模型,该模型的访问规则、传播规则和感染规则基本涵盖了软件在操作系统运行过程中产生信息流的主要类型。其次,设计一种策略描述语言,该语言使软件管理者可以以一种较为直观的方式描述所期望的软件信息流。在Linux内核部分实现原型系统,实验证明该方法可以控制软件所产生的信息流,从信息流角度保证软件的可信运行。 张来顺关键词:信息流 操作系统 标签 高可靠性网格的分析与研究 被引量:2 2006年 提出了纵深防御体系,给出了一个全新的高可靠性模型,推进网格全面走进人们的日常生活,为大家服务。 廖凯 张来顺关键词:开放网格服务体系结构 网格系统 可信计算基 人工神经网络 自适应机制 XML上的安全敏感信息控制研究 被引量:1 2009年 推理是数据语义的重要组成部分,结合XML自身的特点,这一概念被引入到XML的访问控制领域中。就XML数据应用中推理攻击对XML文档可能造成的危害进行深入研究,提出普通敏感集和推理敏感集的概念。定义一系列公理规则,以保证生成正确的、完备的安全敏感闭包集并给出证明。然后根据该敏感闭包集分析出消除安全隐患的方法。 张尚昂 王亚利 张来顺 李九英关键词:可扩展性标记语言 文档类型定义 角色访问控制 面向服务的分布式数据库系统的容忍入侵方法 2007年 以分布式数据库系统提供的服务作为入侵检测的对象,采用了基于对可观测现象检测的原理,跟踪和定位被入侵的服务,借鉴了基于日志的破坏隔离围堵策略,准确定位了被破坏的数据,并对这些数据进行处理和恢复,不需要将整个系统进行"回退",最大限度地保证数据库中其他服务的正常运行,保证了系统的可生存性。 廖凯 张来顺 郭渊博关键词:分布式数据库系统 容忍入侵 WLAN中基于规范的自适应DoS攻击检测 被引量:2 2010年 无线网络由于其传输介质及通信规程的特殊性,除了要面对有线网络中存在的各种拒绝服务(denial of service,DoS)攻击之外,还面临着一些在无线环境下特有的DoS攻击。针对由伪造协议会话中使用的管理帧和EAP帧发起的DoS攻击,提出了一种基于规范的自适应检测方法(WSBA),为无线局域网所执行的安全协议建立在正常运行时的状态转移模型连同网络安全策略约束定义作为检测规范,作为检测此类DoS攻击的依据。给出了检测阈值的自适应调整算法,分析了算法参数设置对检测性能的影响。实验测试结果表明该方法是正确而有效的。 张明雷 郭渊博 张来顺 李雅琦关键词:无线局域网 拒绝服务攻击 有限状态自动机 自适应阈值 面向领域的UDDI Registry的分析与研究 UDDI Registry作为Web Services的注册中心,它承担着服务注册、查找的任务,在开放、分布和动态的Web Services环境中发挥着关键的作用。但目前UDDI规范还不成熟,不能满足某些应用的需要。本文... 王飞 张来顺 廖凯关键词:网络服务器 循环条件的形式化推导在程序验证中的应用 被引量:1 2010年 提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导。现有的形式化方法依赖于形式化规范,而提出的方法适用于未被形式化的程序。提出的形式化方法可以在一个原型工具中实现,通过该工具来推导循环执行和终止条件,辅助程序验证和程序缺陷修正。 雷富兴 张来顺 石荣刚 杨科关键词:形式化方法 自动化 缺陷修正