马自堂
- 作品数:37 被引量:118H指数:6
- 供职机构:解放军信息工程大学更多>>
- 发文基金:武器装备预研基金国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域:自动化与计算机技术电子电信自然科学总论军事更多>>
- 基于多服务提供者模型的分布式CA系统研究被引量:1
- 2010年
- 为了提高公钥基础设施(PKI)中认证中心(CA)系统的服务能力,使其具备较高的可用性,提出一个基于多服务提供者模型的分布式CA系统,以提高CA系统的抗毁顽存和容错能力。并基于服务质量(QoS)属性采用自动修正判断矩阵的层次分析法对候选服务集合中的服务进行QoS评估,以达到快速选择最优服务的目的。实验结果表明该方法有效提高了服务请求的执行效率,满足了用户的QoS需求。
- 王伟马自堂马自堂孙磊
- 关键词:分布式服务质量层次分析法容错
- 面向批量处理的大数据检索过滤模型研究被引量:6
- 2015年
- 大数据作为新的战略资源,在信息领域发挥着重要作用。大数据的检索规模往往达到十亿甚至百亿级,导致传统的查询机制效率低下成为常态。因此,提高大数据的查询效率、降低查询负担成为大数据研究的重要方面。为此提出了一种面向批量处理的大数据检索过滤模型IMFM,介绍了其核心思想及工作原理,论证了IMFM对于多维查询的支持,并给出了IMFM的部署策略。在大数据索引结构中的适当位置部署该模型,在检索请求通过节点时对检索请求进行快速过滤,避免无关请求对节点下方索引结构的操作,从而降低检索对性能的消耗。实验证明,在大数据批量处理环境下,该模型可以有效缩短大数据一维和多维查询的路径长度,提高检索效率,大幅减轻大数据存储和处理平台的负担。
- 李兆兴马自堂
- 关键词:大数据索引结构多维查询
- 一种基于双线性对的云数据完整性验证算法被引量:4
- 2013年
- 提出了一种用于验证云服务器上外包数据完整性的算法。通过引入双线性对,由用户随机选择挑战数据发送给服务器,云存储服务器返回生成的证据,验证判定等式的均衡性即可知外包数据是否完整,可信第三方的引入避免了纠纷的无法仲裁。算法可远程对外包数据实现无限次的完整性验证,很好地兼顾了用户和云存储服务商的利益。
- 邓晓鹏马自堂高敏霞
- 关键词:云计算数据完整性双线性对
- 基于智能卡的认证和签名技术
- 讨论了智能卡技术,结合智能卡技术的特点和公钥认证机制,探讨了将智能卡应用于网络安全系统中的身份认证和签名技术,给出了适合智能卡之间、智能卡与终端之间的认证和信息交换的认证方案.
- 马自堂
- 关键词:智能卡网络安全身份认证签名技术
- 文献传递
- 基于口令的群密钥分发协议的分析与改进
- 2006年
- 本文分析了文献中提出的一个基于口令的群Diffie-Hellman密钥交换协议的安全性,发现其存在安全漏洞,无法抵抗用户发起的离线字典攻击。针对原协议存在的安全漏洞,我们对该协议进行了改进,改进后的协议保留了原方案的所有安全特性,并且可以有效的抵抗离线字典攻击,比原协议具有更高的安全性。
- 马自堂张鲁国
- 关键词:群通信密钥交换协议口令
- 一种基于Apache框架的PKI实现被引量:2
- 2008年
- 稳定性和可扩展性是PKI系统要解决的重要问题,先进的Apache2.0框架可以为解决这些问题提供底层支持。本文介绍了一种基于Apache框架的PKI实现方法。通过对Apache过滤器机制、模块设计方法和Hooks注册机制的使用,可以设计和构建配置灵活的高性能PKI业务服务器。
- 高翔熊选东马自堂李作辉
- 关键词:APACHE服务器公钥基础设施过滤器
- 安全协议形式化混合分析技术的研究与应用被引量:4
- 2006年
- 分析了模型检测技术和逻辑推证技术的优点与不足,介绍了两种形式化分析方法相结合的混合分析方法,并给出实例,证明混合分析技术在检测协议漏洞方面是更为完全的。该技术的效率大大高于一些起初的模型,且易于实现。
- 付宇马自堂王惠芳
- 关键词:安全协议形式化分析
- 云环境下基于BN模型的虚拟机安全部署模型被引量:2
- 2013年
- 针对云计算环境下多用户共享硬件资源带来的安全风险,提出了虚拟机安全部署模型CVDBN,基于BN模型设计了安全部署规则,以满足云计算环境下利益冲突用户对于虚拟机部署的安全隔离需求。最后设计了虚拟机安全部署模块和安全部署算法。仿真实验结果证明了该模型和算法的有效性和可用性。
- 孙磊杨星马自堂
- 关键词:云计算虚拟机
- 智能卡操作系统中存储管理设计被引量:23
- 2005年
- 介绍了智能卡操作系统中存储管理的设计方法,给出了存储管理所涉及的数据结构,分析了各种存储管理的特点及应用。
- 张鲁国马自堂
- 关键词:智能卡操作系统存储管理
- GF(2^m)上的快速模约减算法
- 2010年
- 针对GF(2m)上的模约减运算问题,在基于固定三(或五)项式(FTOP)算法的基础上提出一种改进的快速算法。该算法采用动态计算分组字序号和偏移量的方法,克服FTOP只适用于特定约减多项式的不足。实验结果表明,当约减多项式项数小于123(m<719)时,该算法速度比一次一位的算法有较大提高,最大为89%,平均为30%左右,当约减多项式为任意三(或五)项式时,能达到与FTOP相同的速度。
- 段斌马自堂
- 关键词:有限域