罗文坚
- 作品数：43 被引量：430H指数：12
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金安徽省教育厅重点项目中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术理学经济管理文化科学更多>>
- 一种基于协同进化的安全协议生成算法
- 本文针对现有安全协议生成方法存在的生成效率低、收敛速度慢的问题,提出了一种基于协同进化的安全协议生成算法.该算法中的进化个体由安全协议种群与安全目标种群组成,两个种群不断协同作用,互为对方种群中个体的适应度评价基准,进而...
- 毛晨晓罗文坚钱海曹先彬王煦法
- 关键词：安全协议协同进化BAN逻辑网络安全
- 文献传递
- 基于SVO逻辑的公钥协议进化生成被引量：1
- 2006年
- 提出了一种公钥密码体制安全协议的生成方法,用进化策略来生成公钥协议,并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,所提出的方法能够高效地生成公钥协议,保证所生成公钥协议的安全性,并有效地提高协议效率和降低协议中消息的冗余度。
- 毛晨晓罗文坚曹先彬王煦法
- 关键词：安全协议公钥密码体制SVO逻辑进化策略
- 基于事件发现的审计线索发现被引量：2
- 2006年
- 随着现代信息技术在财政、金融及企事业单位的广泛应用,传统的手工审计手段已不能适应审计工作的需求,迫切需要采用先进的现代化审计方式和手段,以提高审计质量,降低审计风险。本文提出了基于事件发现的审计线索发现模型框架。该模型采用了交互式的探索性数据分析、数据挖掘、征兆发现技术等来发现事件,并将其作为有效的发现审计线索的手段。基于事件发现的审计线索发现模型为计算机辅助的现代化审计提供了新的途径。
- 张振亚李金龙罗文坚王煦法
- 关键词：审计线索数据挖掘
- 基于人工免疫的入侵预警系统
- 王煦法曹先彬陈恩红罗文坚张四海梁文马建辉鲍欣龙虞震
- 该项目针对现有入侵预警技术难以预警未知入侵的不足，借鉴自然免疫系统的自我防护机制，针对数据报警，设计和建立了一个实际的基于人工免疫的入侵预警系统。系统完全基于自然免疫的自我防护机制设计与构建，首次提出实现了包括阴性/阳性...
- 关键词：
- 关键词：网络安全
- 面向入侵检测的人工免疫模型和算法研究
- 该论文旨在深入探索和研究生物免疫系统所蕴含的学习与检测机制,面向入侵检测系统设计高效的模型和算法,进而建立基于人工免疫的入侵检测系统.在设计基于生物免疫机制的学习与检测模型和算法时,不仅考虑了生物免疫系统自身的功能特征和...
- 罗文坚
- 关键词：人工免疫系统入侵检测学习算法
- 文献传递
- 基于K-均值聚类的改进非选择算法研究被引量：8
- 2005年
- 文章提出了一种基于K-均值聚类的改进非选择算法,其核心是对检测器集进行K-均值聚类,将检测器集分为多个子类,根据子类中心和待检测数据的亲和度选择若干个合适的子类进行实际检测。文中对算法的检测过程进行了分析,并给出了该算法用于入侵检测时的测试实验结果。实验结果表明,文章算法在检测速度上有明显改善。
- 屈建平罗文坚王煦法
- 关键词：人工免疫系统K-均值聚类
- 基于RUP和VDM++的软件形式化开发方法的研究被引量：1
- 2005年
- 形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
- 王新苏罗文坚毛晨晓王煦法
- 关键词：形式化方法统一软件过程
- 用于函数优化的进化非选择算法实验分析
- 进化非选择算法是将生物免疫系统的非选择机制和进化学习机制相结合而形成的算法,影响其求解效率的算子除了传统进化算法中的变异和选择算子外,还有非选择算子.通过函数优化实验验证了进化非选择算法的求解性能,结果表明非选择算子的引...
- 罗文坚张义国王欣王煦法
- 关键词：人工免疫系统函数优化
- 文献传递
- 基于生态种群竞争模型的协同进化被引量：100
- 2001年
- 遗传算法基于适应度的进化模式没有考虑进化的外部环境和进化成分之间的关系 ,这是协同进化研究的内容 .借鉴生态学对个体生存环境和种群竞争的认识 ,构造了一种基于生态种群竞争模型的新的协同进化模式 .模拟实验表明 ,采用该模式的改进遗传算法在改善未成熟收敛和收敛速度两方面具有良好的性能 .
- 曹先彬罗文坚王煦法
- 关键词：遗传算法生态环境种群密度未成熟收敛
- 分析安全协议密码系统相关缺陷的模态逻辑方法被引量：2
- 2006年
- 安全协议未采用适当的密码系统来实现,会使最终的安全协议存在密码系统相关缺陷.对该类缺陷进行形式化分析时,不能使用完善的密码系统假设,这是安全协议形式化分析研究中的一个难点.以CKT 5逻辑为基础,以对称密码算法为重点,将序列密码算法和分组密码算法的特性,以逻辑推理规则的形式引入到CKT 5逻辑框架中,使得扩展后的逻辑能够用于分析安全协议密码系统相关缺陷.并用实例说明了如何使用扩展逻辑来分析密码系统相关缺陷.
- 毛晨晓罗文坚王煦法
- 关键词：安全协议形式化分析模态逻辑
