韩丽芳
- 作品数:10 被引量:20H指数:3
- 供职机构:国家电网公司更多>>
- 发文基金:国家电网公司科技项目国际科技合作与交流专项项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术经济管理电子电信更多>>
- 一种检测软件抄袭的方法和装置
- 本发明提供一种检测软件抄袭的方法和装置,该方法基于抽象语法树的剪枝比对算法,其包括以下步骤:A.获取源代码文件;B.生成抽象语法树;C.遍历该抽象语法树,并将其转化为所需的存储类型;D.赋值抽象语法树的节点并排序;E.比...
- 刘楠崔宝江夏坤峰韩丽芳
- 文献传递
- 一种Java源代码缺陷检测方法及装置
- 本发明公开了一种Java源代码缺陷检测方法及装置,所述方法首先对Java源程序字节码进行静态分析,生成函数调用图;根据所述函数调用图生成保存有所述Java源程序基本信息的关系数据库;根据预先建立的漏洞模式,以关系数据库查...
- 韩丽芳崔宝江侯婷婷刘楠高昆仑
- 文献传递
- 电力工控系统攻击仿真验证关键技术研究被引量:8
- 2017年
- 电力工控系统是国家关键基础设施的重要组成部分,其安全性关系到国家的战略安全,已成为网络攻击的重要目标。随着"互联网+"和"两化融合"国家战略规划的大规模推进,以及信息安全攻击手段的日新月异,电力工控系统信息安全面临更复杂的内外部威胁。目前,电力工控系统安全面临着工控协议安全机制缺失或不足、产品测评和漏洞验证深度不够等问题,文章提出了动静结合的工控协议脆弱性分析技术,构建了半实物仿真验证平台,实现了电力工控系统工具模拟验证,能够深层次发现电力工控协议自身的脆弱性,探讨解决电力工控系统恶意攻击机理不明确和验证手段缺失的难题,可为电力工控系统的攻击与防护研究提供支撑。
- 王继业孙利民李晔应欢韩丽芳
- 关键词:信息安全
- 一种改进的基于抽象语法树的软件源代码比对算法被引量:9
- 2014年
- 在软件同源性检测方法中,基于抽象语法树的比对方法能够有效地检测出基于代码全文拷贝、修改变量名、调整代码顺序等的抄袭手段,被广泛用于抄袭检测工具中。但基于抽象语法树的比对方法对于修改变量类型和添加无意义变量的抄袭手段束手无策。针对这种情况,提出了一种基于抽象语法树的改进思想,该思想通过剪去语法树中影响判断的叶子节点的手段来还原检测原文抄袭,能够达到有效检测修改变量类型和添加无意义变量等抄袭的目的。
- 刘楠韩丽芳夏坤峰曲通
- 关键词:抽象语法树AST
- 一种用于对面向对象软件缺陷进行预测的方法及系统
- 本发明公开了一种用于对面向对象软件缺陷进行预测的方法,所述方法包括:对训练数据集进行处理,获取有效特征属性,并根据所述有效特征属性建立新的训练数据集;根据所述新的训练数据集对支持向量机SVM进行训练,并通过粒子群优化算法...
- 朱朝阳韩丽芳张信明王志宏陈相舟应欢李怡康李梦涛
- 文献传递
- 一种用于对面向对象软件缺陷进行预测的方法及系统
- 本发明公开了一种用于对面向对象软件缺陷进行预测的方法,所述方法包括:对训练数据集进行处理,获取有效特征属性,并根据所述有效特征属性建立新的训练数据集;根据所述新的训练数据集对支持向量机SVM进行训练,并通过粒子群优化算法...
- 朱朝阳韩丽芳张信明王志宏陈相舟应欢李怡康李梦涛
- 嵌入式应用软件安全性测试系统设计与实现被引量:3
- 2018年
- 目前软件安全性测试的目的就是在软件运行过程中模拟安全保障措施所面对的异常情况,而传统测试系统存在测试性能低,故障不能灵活注入,测试速度慢等问题,为此,提出了故障注入的嵌入式应用软件安全性测试系统设计。针对系统硬件,构造了安全性测试系统框架,该框架是由测试敏感器、实际执行组件、计算机控制器共同组成的,并通过数字仿真测试平台的建立,设置故障状态;建立测试环境通信渠道,使用GDB技术对故障底层机理进行调试,利用RSP通信协议实现程序间交叉测试,由此完成系统设计。选择实验环境进行实验验证,结果表明,该系统具有较高的软件测试性能,能够实现异常故障的灵活注入,进而促进软件能够快速的达到故障状态,使软件安全性的测试能够快速的完成。
- 周亮张楠韩丽芳
- 关键词:嵌入式应用软件安全性测试系统设计
- 一种基于符号动力学和隐马尔科夫模型的电力设备时空多维安全评估方法
- 本发明涉及一种基于符号动力学和隐马尔科夫模型的电力设备时空多维安全评估方法,具体涉及分环节信息审计、时序跟踪、基于符号动力学的风险评估技术以及基于隐马尔科夫模型的安全态势预测方法。本发明优点有:1、对电力系统进行结构划分...
- 朱朝阳韩丽芳李凌周亮宋小芹赵婷李俊娥刘剑许昂刘权莹彭弼君饶雪茹叶棋杨国泰
- 一种电力信息系统企业架构的验证框架
- 2017年
- 随着电力信息化建设的推进,电力信息系统逐渐建立了企业架构体系框架,并发挥了较大作用,但在架构遵从检查方面,缺乏架构遵从性验证框架和方法。文章在研究典型企业架构的基础上,提出了包含架构资产调研、架构元模型确认、架构验证指标等内容的电力系统企业架构验证框架,阐述了架构验证方法,探讨了企业架构符合度的量化计算方法。该方法可判断电力信息系统企业架构的合规性及层次,提升其架构设计、系统研发质量以及运维水平,在实际使用中效果良好。
- 余勇张楠李晔陈曦韩丽芳
- 关键词:电力信息化企业架构元模型
- 一种基于符号动力学和隐马尔科夫模型的电力设备时空多维安全评估方法
- 本发明涉及一种基于符号动力学和隐马尔科夫模型的电力设备时空多维安全评估方法,具体涉及分环节信息审计、时序跟踪、基于符号动力学的风险评估技术以及基于隐马尔科夫模型的安全态势预测方法。本发明优点有:1、对电力系统进行结构划分...
- 朱朝阳韩丽芳李凌周亮宋小芹赵婷李俊娥刘剑许昂刘权莹彭弼君饶雪茹叶棋杨国泰
- 文献传递