朱维军

作品数：50被引量：105H指数：5
导出分析报告
供职机构：郑州大学更多>>
发文主题：防御自动机拟态时间自动机时序逻辑更多>>
发文领域：自动化与计算机技术生物学文化科学医药卫生更多>>
发文期刊：《周口师范学院学报》《微电子学与计算机》《通信学报》《计算机应用与软件》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划河南省科技攻关计划中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于DNA计算的计算树逻辑模型检测方法研究进展被引量：4
《计算机科学》2019年第11期25-31,共7页韩英杰 周清雷 朱维军 
国家自然科学基金项目(61572444)资助
计算树逻辑(CTL)模型检测是保证系统正确性和可靠性的重要手段,但严峻的时空复杂性问题制约着CTL模型检测在工业界的应用。DNA计算的大规模并行性和DNA分子巨大的存储密度为解决CTL模型检测的时空复杂性问题提供了新思路。文中介绍了基...
关键词：模型检测 计算树逻辑 DNA分子 分子计算 
动态异构冗余结构的拟态防御自动机模型被引量：10
《电子学报》2019年第10期2025-2031,共7页朱维军 郭渊博 黄伯虎 
国家自然科学基金(No.U1204608);国家重点研发计划(No.2016YFB0800100)
动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状...
关键词：动态异构冗余 拟态防御 自动机 
动态异构冗余数据保护安全架构被引量：5
《小型微型计算机系统》2019年第9期1956-1961,共6页樊永文 朱维军 班绍桓 陈永华 
国家自然科学基金项目(U1204608,61572444)资助;国家重点研发计划项目(2016YFB0800100)资助
针对传统数据保护方法难以应对未知的漏洞和后门等安全问题,提出一种基于拟态防御思想的动态异构冗余数据保护安全架构--拟态数据安全架构(Mimic Data Security,MDS),用以提升数据服务的安全性.首先,根据拟态防御技术的工作原理构造异...
关键词：数据安全 异构冗余 动态调度 拟态防御 
一种基于梯度提升回归树的系外行星宜居性预测方法
《计算机科学》2019年第B06期71-73,79,共4页朱维军 王鑫 钟英辉 樊永文 陈永华 
国家自然科学基金(U1204608)资助
系外行星的宜居性是近年来探索宇宙的一个热点研究课题,机器学习为系外行星宜居性分类提供了一种可行的手段。然而,现有的宜居性分类效果面临严重不足与局限。为此,给出一种基于梯度提升回归树的系外行星宜居性分类预测方法。首先,使用...
关键词：梯度提升回归树 系外行星 宜居性 二分类 
基于拟态防御的管理信息系统被引量：4
《计算机科学》2019年第S11期438-441,共4页常啸林 樊永文 朱维军 刘洋 
国家自然科学基金项目(U1204608);国家重点研发计划项目(2016YFB0800100)资助
管理信息系统(Management Information Systems,MIS)的安全性关系着众多企业和组织的正常运作。针对现有信息管理系统安全防护方法的不足,文中提出了一种基于拟态防御的管理信息系统(Mimic Management Information Systems,MMIS)。首先...
关键词：管理信息系统 拟态防御 多样性 动态配置 拟态管理信息系统 
在多FPGA上的高性能VPN口令恢复方法被引量：2
《小型微型计算机系统》2019年第4期765-770,共6页韩宇 周清雷 李斌 朱维军 
国家重点研发计划项目(2016YFB0800100)资助;国家自然科学基金面上项目(61572444)资助
随着国家不断加大对网络安全领域的重视程度,工信部出台规定私人不得自行建立和租用VPN.但由于VPN通信的保密性导致有关部门难以有效监管.因此,实现一种高效的VPN口令恢复方案具有重要意义.通过对VPN使用的身份验证协议以及数据加密协...
关键词：VPN 口令恢复 FPGA 高性能计算 
有向图k顶点导出子图的DNA粘贴算法
《计算机科学》2019年第1期309-313,共5页朱维军 张春艳 周清雷 陈永华 
国家自然科学基金项目(U1204608;61572444)资助
在经典的电子计算中,有向图k顶点导出子图是一个高度复杂的问题。DNA计算是近年来发展的以DNA为载体求解计算问题的非经典计算技术。文中研究了使用DNA计算解决有向图k顶点导出子图的问题,从而提出了一种在粘贴机上运行的子图生成算法...
关键词：粘贴机 脱氧核糖核酸 有向图 顶点导出子图 
基于功能切片的拟态防御体系结构及安全等级评估方法被引量：5
《通信学报》2018年第A02期95-105,共11页周清雷 冯峰 朱维军 
国家重点研究发展计划资助项目(No.2016YFB0800100)~~
网络空间安全领域,邬江兴院士提出了拟态防御理论及动态异构冗余(DHR,dynamic heterogeneous redundancy)架构。目前对该机制的实现都着眼于系统全栈化,有复杂度大与成本高等问题。由于应用层具有可控性,有利于被引入该机制。因此,在应...
关键词：拟态防御 体系结构 动态异构冗余 拟态安全 安全等级 
动态虚拟MSISDN的拟态自动机模型与安全性验证方法被引量：1
《信息网络安全》2018年第4期15-22,共8页朱维军 樊永文 班绍桓 
国家自然科学基金联合基金[U1204608];国家重点研发计划[2016YFB0800100]
移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的安全性,目前尚缺乏有效的分析方法。文章首先使用有穷状态自动...
关键词：拟态自动机 模型检测 MSISDN虚拟化 拟态防御 
基于时序逻辑的3种网络攻击建模被引量：5
《计算机科学》2018年第2期209-214,共6页聂凯 周清雷 朱维军 张朝阳 
国家重点研发计划(2016YFB0800100);国家自然科学基金(U1204608;U1304606;61572444);中国博士后科学基金(2015M572120;2012M511588)资助
与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式,该方法不能检测出常见的back,ProcessTable以及Saint 3种攻击。因此,使用命题区间时序逻辑(ITL)和实时攻击签...
关键词：命题区间时序逻辑 实时攻击签名逻辑 模型检测 入侵检测 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部