程胜利
- 作品数：17 被引量：49H指数：5
- 供职机构：武汉理工大学计算机科学与技术学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 形式化方法在CSTA系统测试中的应用研究被引量：1
- 2004年
- 系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据。
- 游红俊周红梅程胜利陈先桥
- 关键词：软件测试软件质量软件开发形式化方法
- 基于SOAP的XML Web Services安全性分析和研究被引量：7
- 2003年
- 介绍了软件界最新技术SOAP和XML Web Services,并深入分析和研究了Web服务的安全机制和SOAP安全性扩展问题。
- 曹勇程胜利
- 关键词：SOAPXMLWEB服务安全性网络安全
- RSA算法及其实现技术的改进研究被引量：5
- 2006年
- 介绍了RSA算法的一般原理和RSA算法实现过程中要解决的关键问题,且对其中的一些模块进行了适当改进,测试表明,改进方法提高了RSA系统的效率。
- 兰海兵程胜利
- 关键词：RSA算法中国剩余定理欧拉定理
- XML防火墙在Web Services安全中的应用研究
- 分析了XML防火墙的工作原理和功能,然后指出其特点以及它与传统网络防火墙的不同之处.最后给出了一个XML防火墙的应用案例,该防火墙基于XML加密和签名技术、SAML和WS-Security规范以及SOAP协议构建而成,可...
- 曾牛程胜利
- 关键词：WEB服务SOAP消息身份认证
- 文献传递
- 椭圆曲线密码及其在无线网络中的应用被引量：1
- 2005年
- 阐述了椭圆曲线密码学的数学基础以及在此基础上的加密、解密算法和数字签名,并对椭圆曲线密码在无线网络中的应用进行了探讨,指出了椭圆曲线密码具有密钥位数短,软、硬件处理节省资源优点。
- 裴德志程胜利
- 关键词：公钥密码体制无线网络数字签名
- 数字水印技术研究被引量：6
- 2004年
- 数字水印技术在数字化作品版权保护和内容认证方面发挥着重要的作用。文章首先系统地介绍了数字水印技术的特点、分类及其应用领域 ,然后阐述了数字水印的模型 ,算法的分类和评价标准 ,分析了几种典型的水印算法。
- 曾牛程胜利
- 关键词：数字水印技术水印模型水印算法
- 基于端口复用技术的木马研究被引量：11
- 2007年
- 隐藏技术是木马的关键技术之一,其直接决定木马的生存能力。针对目前木马在隐藏技术方面的普遍缺陷,提出了端口复用的概念,并在实验室研制出了一个具有无进程和端口复用特征的木马。该木马通过利用Windows的WinSock 2的新特性服务提供者技术,在操作系统中插入了一个分层式服务提供者,每当网络应用程序进行WinSock 2的调用时,木马将能获得系统控制权,并通过一个系统已经打开的合法端口与外界进行网络通信。由于该木马不需要打开一个新的端口,因此具有更强的隐藏性。
- 罗改龙程胜利
- 关键词：木马端口复用服务提供者
- 入侵检测系统研究及其展望被引量：8
- 2005年
- 对入侵检测系统(IDS)作了简要的分析,把它与防火墙在功能上进行了较为深入的比较;主要阐述了入侵检测系统对计算机安全系统的重要性、入侵检测系统的分类和工作原理,并针对入侵检测系统的发展趋势展开了讨论。
- 程胜利黄鹏
- 关键词：入侵检测系统计算机取证防火墙计算机安全入侵防御系统
- 信息安全网络中若干密钥管理方案研讨
- 密钥管理问题是现代信息安全网络所必须考虑的主要问题之一。本文简述了目前几种流行的密钥管理方案,并就其中的一些特点进行综述和讨论。
- 马宗龙程胜利石从珍
- 文献传递
- 隐藏攻击技术研究被引量：1
- 2006年
- In ternet上的保密通信和数字产品版权是信息隐藏技术研究的强大推动力。介绍了信息隐藏技术的基本模型与特性、主要的隐藏算法,阐述了当前主要的隐藏攻击技术。提出了一种由数据分析、特征滤波器、假设检验、融合决策等过程组成的隐藏攻击方法。
- 盛承光程胜利
- 关键词：信息隐藏信息嵌入
