马捷
- 作品数：10 被引量：74H指数：3
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 实数范围上的同态加密机制被引量：21
- 2005年
- 安全多方计算、电子投票等领域需要用到同态加密技术,但现有的同态加密技术最好的成果是整数范围内同态加密机制,并且运算仅限于加密和乘法,这将限制同态加密技术的应用。文章定义了一种新的运算——类模运算,在类模运算的基础上将同态加密扩展到实数范围上,运算也扩展到加、减、乘、除四种常见的算术运算。
- 向广利陈莘萌马捷张俊红
- 关键词：安全性秘密同态
- 基于RSA的同态密钥协商被引量：1
- 2007年
- 回顾了密钥管理的基本内容,介绍了RSA公钥密码体制和整数环上的同态加密机制,提出了基于RSA的同态密钥协商。该协议主要利用RSA的公钥和同态加密机制建立一个会话密钥。与Diffie-Hellman以及基于口令的密钥协商协议相比,它分别有更快的运算速度和较好的安全性。利用BAN逻辑证明了该协议的安全性。
- 向广利朱平张俊红马捷
- 关键词：同态加密密钥协商BAN逻辑
- 组播蠕虫的传播模型研究
- 2007年
- 蠕虫利用多种技术来实现快速传播。近年来得到广泛应用的组播技术可能被蠕虫用来加速蠕虫传播过程。论文通过分析组播蠕虫的传播模式,建立了组播蠕虫传播模型并用数值分析方法对影响蠕虫攻击性能的因素进行了研究。根据数值结果得出组播蠕虫的攻击性能与几个因素密切相关。
- 马捷陈莘萌向广利杨华勇
- 关键词：蠕虫传播组播
- 基于Agent的网络侦察系统技术研究
- 马捷
- 关键词：多AGENT系统网络侦察AGENT通信语言
- 基于Agent的网络漏洞扫描系统的设计与实现被引量：3
- 2006年
- 分析了现有网络漏洞扫描系统的局限性并使用Agent技术对网络漏洞扫描系统部件进行了规范设计,描述了Agent间的通信与协作,并给出了基于Agent的分布式网络漏洞扫描系统的设计方法和实现过程。
- 马捷陈莘萌向广利
- 关键词：漏洞扫描网络AGENT分布式系统
- 从UML建立的模型中得到需求目标被引量：21
- 2002年
- 已经被软件工程实践者广泛地使用,但是,就其本质而言,它并没有清晰地描述出需求目标。该文介绍一种方法试图在UMLUML模型与软件需求目标之间建立语义上的联系。
- 唐胜群马捷刘伟夏伦先蒋浩澜
- 关键词：软件工程UML对象模型
- 需求管理和需求跟踪的策略探讨
- 通过对需求工程的研究,人们提出了很多种需求工程方法和工具,一些方法和工具已经比较成熟,尽管如此,现有的需求工程工具离实际应用还有较大的差距.人们使用需求管理工具来管理开发期间需求的变动,使用需求作为设计、测试、项目管理的...
- 马捷
- 关键词：软件工程需求管理语义网络
- 文献传递
- Trigger在工作流设计中的应用被引量：2
- 2002年
- 在动态环境中设计工作流 ,需要一个具有高灵活性和易于使用的工作流模型。在工作流设计中建立独立于主工作流之外的异常情况模型 ,可以扩展工作流设计所应用的范围。本文以河南省电力公司管理系统中的具体实践为例 。
- 马捷唐胜群刘伟夏伦先
- 关键词：TRIGGER工作流异常处理软件系统事务处理
- 使用设计模式指导UML类模型的建立被引量：27
- 2002年
- 本文分析了基于 UML建立类模型的困难和不足之处 ,通过对设计模式这一被证明行之有效的面向对象技术的探讨 ,提出可以显式地使用设计模式指导 UML 模型的建立 ,并举例说明了这种方法的可行性和有效性 .这样便将对设计模式的讨论纳入到了 U
- 夏伦先唐胜群马捷刘伟
- 关键词：UML设计模式用例模型类模型软件工程
- 基于ECC的同态密钥协商被引量：2
- 2007年
- 简要回顾了密钥管理的基本内容,指出常见的密钥协商协议的不足。介绍了ECC公钥密码体制和整数环上的同态加密机制,提出了基于ECC的同态密钥协商。该协议主要利用ECC的公钥和同态加密机制建立一个等献的、前向保密的会话密钥。和Diffie-Hellman系列密钥协商协议相比,提出的密钥协商协议具有更快的运算速度和基于口令的密钥协商协议相比,提出的密钥协商协议具有较好的安全性。并利用BAN逻辑证明了该协议的安全性。
- 向广利朱平张俊红马捷
- 关键词：椭圆曲线加密同态加密密钥协商BAN逻辑
