陈火炎
- 作品数：39 被引量：178H指数：7
- 供职机构：暨南大学更多>>
- 发文基金：广东省自然科学基金国家自然科学基金博士科研启动基金更多>>
- 相关领域：自动化与计算机技术电子电信理学自然科学总论更多>>
- 用面向对象方法设计和实现面向对象类级测试算法DOE
- 描述用面向对象方法设计和实现一个面向对象类级测试算法的原型系统,该算法用以判断类级测试所得的结果对象是否可见性等价.此原型系统将算法的测试功能嵌入被测试程序的解释器中,此解释器的设计在软件测试中具有一定通用性.
- 孙玉霞陈火炎
- 关键词：面向对象类级测试解释器
- 文献传递
- 一种基于Lucas序列的盲签名方案被引量：2
- 2000年
- 根据Lucas序列的特点 ,设计了一种新的盲签名方案 ,其安全性是基于大数分解问题的 .该方案签名和验证过程简单 ,通信成本低 。
- 卢建朱陈火炎凌杰
- 关键词：盲签名LUCAS序列安全性网络
- 基于IPv6协议分析的入侵检测系统的研究与实践
- 姚国祥罗伟其陈志荣陈火炎王晓明卢建朱张焕明李汉群莫乐群黄书强官全龙林良超张慧平高志朱国程
- 该成果针对IPv6环境，将协议分析技术与数据挖掘技术相结合，提出了一种新的攻击行为描述方法；结合移动代理Agent技术，研究开发出一种父实体选择通信机制，提高了入侵检测系统的效率和检测准确性。该成果在基于IPv6环境下的...
- 关键词：
- 关键词：入侵检测系统
- 用自适应的正则参数实现保边缘图像的快速恢复
- 本文提出了一种保边缘图像快速恢复的正则化方法,利用观测的数据,选取随梯度变化的正则参数,通过对成本函数的极小化,达到恢复原始图像和保边缘的目的.我们利用偏微分方程的5点差分格式来求解这一最佳问题,并用灰度图像的实验结果说...
- 卢建朱陈火炎
- 关键词：图像恢复变分法自适应正则参数正则参数
- 文献传递
- Java多线程同步机制被引量：6
- 2003年
- 本文详细分析了Java语言多线程同步机制的实现及其在应用中的一些问题。
- 李双权陈火炎孙玉霞
- 关键词：JAVA语言
- 一种Java多线程可达性测试框架系统的研究与实现
- 由于并发软件的不确定性,使得并发程序的调试和测试较为困难.可达性测试是并发软件测试中的一种有效方法.本文提出了一种基于共享变量读写操作分析的Java多线程程序同步序列生成策略.我们采用动态代理类Proxy构造了Java多...
- 李双权陈火炎孙玉霞
- 关键词：可达性测试多线程并发软件
- 文献传递
- 基于共享验证的认证加密方案
- 2001年
- 给出了一种具有 (t,n)共享验证的认证加密方案 ,其安全性基于求解离散对数问题 .在这方案中签名者用私钥和组G的公钥生成信息签名的密文 ,n个验证者至少有t个成员同时授权 ,接收者才能恢复信息 .在恢复信息时 ,接收者能认证信息 ,具有检测欺骗行为和识别骗子的能力 .
- 卢建朱陈火炎
- 关键词：认证加密离散对数问题网络安全
- 具有动态的(t,n)共享验证的认证加密方案
- 2004年
- 给出了一种新的 (t,n)共享验证的认证加密方案 ,其安全性基于大数的因式分解和离散对数问题 .本方案改进了现有的 (t,n)秘密共享方案 ,系统每个用户都可担任信息处理者和验证者 ,信息处理者可根据信息的安全需求设置不同的 t值 ,这些动态的操作都不需系统重新设置系统参数和各用户密钥 ;并能有效地检测和识别多种欺骗行为 。
- 卢建朱陈火炎
- 关键词：认证加密离散对数问题
- 分析逻辑程序的一种有效工具——推导格式
- 1990年
- 本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。
- 陈火炎
- 关键词：逻辑程序
- 面向对象的单元测试自动化技术的分析
- 2006年
- 面向对象系统的单元测试是软件开发中的重要环节。本文首先定义了面向对象领域中单元测试的概念,接着从面向对象系统单元测试中各个测试环节展开,简要分析现有的测试技术,较为全面地给出了面向对象系统的单元测试自动化技术的概貌。
- 黄承慧陈火炎陈必泉
