郑为民 作品数:6 被引量:8 H指数:2 供职机构: 中国科学院信息工程研究所 更多>> 发文基金: 中国科学院国防科技创新基金 国家电网公司科技项目 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 生物学 更多>>
基于信息流和状态流融合的工控系统异常检测算法 被引量:6 2018年 由于工业控制系统(industrial control system,ICS)与物理环境紧密联系,其特有的序列攻击可通过将合法的操作注入到操作序列中的不合理位置上,迫使ICS进入异常状态,损毁设备,甚至破坏生态环境.目前,针对序列攻击检测的研究基本上是从信息流中提取操作序列进行检测,易受错误、虚假数据等情况的影响,导致检测精度受到限制.针对该问题,充分考虑ICS的操作与物理环境的相互依赖性,提出一种双流融合的工业控制异常检测机制,从物理环境中实时提取工业控制设备的状态信息组成设备状态流,并将其与信息流相融合,从操作次序和时序2个维度检测操作序列是否正常.同时利用设备状态流信息识别操作间隔中的工业控制设备的异常状态,提升异常检测范围和对操作时序异常的检测精度.实验结果表明:该方法能有效地识别序列攻击和部分工业控制设备的异常状态. 杨安 胡堰 周亮 周亮 石志强 郑为民关键词:异常检测 信息流 一种视频监控系统日志安全审计方法 本发明公开了一种视频监控系统日志安全审计方法。本方法首先在各个设备上部署一日志收集模块agent来收集设备上产生的日志,并通过SSL进行日志的实时加密传输给日志服务器。然后当日志服务器收到日志,进行分析并按照先前设定的某... 刘刚 汪明伟 宋烨青 芦翔 郑为民 孙利民文献传递 一种基于区块链的智能合约的物联网设备访问控制方法 本发明涉及一种基于区块链的智能合约的物联网设备访问控制方法。该方法主要将访问控制规则编写成智能合约,放入区块链中高度冗余的分布式存储;在访问控制中,主体对客体的智能合约进行签名,当客体访问主体时,首先验证签名合法后,通过... 刘刚 郑为民 芦翔 宋烨青文献传递 浅析网络空间安全 在网络时代的大背景下,国家疆界已经拓展到了全时空,网络空间也成为了一种全球性战场。本文对国际网络空间安全现状进行了分析,并针对我国网络空间发展中遇到的问题,提出了一些建议和对策,希望通过战略、技术、法律等多个层面的措施,... 孙鑫 陈名腾 郑为民关键词:网络空间 网络战 系统发育分析中的最大简约法及其优化 被引量:2 2013年 随着生物技术的不断发展和系统发育学的深入研究,在重构系统发育树时,研究人员往往要面对更多的挑战和困难,比如:(1)需要分析的样本数(物种数或个体数)不断增加;(2)需要分析的数据量迅速扩大。尤其在基因组测序技术的推动下,基于分子信息的系统发育重建需要极大的计算量,因此数学方法、计算机技术以及其他辅助工具对于系统发育重建的效率和精确度起着至关重要的作用。最大简约法(maximum parsimony)是一种重要的系统发育重建方法,提高其计算效率对系统发育学研究具有重要意义,针对该算法的优化改进需要生物学家和计算机专家的共同努力。本文通过详细地阐述最大简约法的计算流程,分析其参数选择对计算效率的影响,帮助更多的计算机使用者,在并不了解系统发育学基础的情况下,更方便地针对实际的系统发育算法问题给出更好、更快、更精准的解决方案;同时为系统发育研究工作者,较为清晰地解释最大简约法的构树思想和计算逻辑,推动针对最大简约法的不断改进与优化。 郑巍 罗阿蓉 史卫峰 郑为民 朱朝东关键词:系统发育 最大简约法 一种视频监控系统日志安全审计方法 本发明公开了一种视频监控系统日志安全审计方法。本方法首先在各个设备上部署一日志收集模块agent来收集设备上产生的日志,并通过SSL进行日志的实时加密传输给日志服务器。然后当日志服务器收到日志,进行分析并按照先前设定的某... 刘刚 汪明伟 宋烨青 芦翔 郑为民 孙利民