您的位置： 专家智库 > >

何巍

作品数：12 被引量：45H指数：3
供职机构：北京航空航天大学更多>>
发文基金：国家高技术研究发展计划北京教育委员会共建项目建设计划基金北京市教育委员会共建项目更多>>
相关领域：自动化与计算机技术航空宇航科学技术天文地球更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 4篇学位论文
  • 3篇专利
  • 1篇会议论文

领域

  • 5篇自动化与计算...
  • 2篇航空宇航科学...
  • 1篇天文地球

主题

  • 6篇网络
  • 3篇网络安全
  • 3篇网络防御
  • 3篇计算机
  • 3篇计算机网
  • 3篇计算机网络
  • 3篇计算机网络防...
  • 3篇防御
  • 3篇博弈
  • 2篇软件漏洞
  • 2篇跑道识别
  • 2篇网络安全风险
  • 2篇网络安全风险...
  • 2篇谓词逻辑
  • 2篇漏洞
  • 2篇描述语言
  • 2篇均衡点
  • 2篇机器视觉
  • 2篇安全风险评估
  • 2篇博弈理论

机构

  • 12篇北京航空航天...
  • 1篇广西师范大学

作者

  • 12篇何巍
  • 6篇夏春和
  • 5篇李肖坚
  • 4篇王海泉
  • 3篇魏玉娣
  • 2篇张成
  • 2篇吉毅
  • 1篇王晓军
  • 1篇邱志平
  • 1篇张平
  • 1篇汪俊
  • 1篇张红兵

传媒

  • 1篇计算机研究与...
  • 1篇计算机应用研...
  • 1篇航空计算技术
  • 1篇北京航空航天...
  • 1篇中国航空学会...

年份

  • 1篇2015
  • 1篇2012
  • 2篇2009
  • 2篇2008
  • 3篇2007
  • 1篇2006
  • 1篇2004
  • 1篇2001
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
计算机网络防御策略描述语言研究被引量：17
2009年
定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的方法分析并验证了策略的完备性、一致性和有效性.CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性.最后给出了策略引擎的原型及其实现.在GTNetS仿真平台中的实验表明,该语言能够自动地转化为具体的技术规则并实现其表达的防御效能.
夏春和魏玉娣李肖坚王海泉何巍
关键词：计算机网络防御描述语言
计算机网络防御策略模型被引量：20
2008年
目前计算机网络防御研究中缺乏高层且易于细化的策略建模方法,因此在分析Or-BAC模型(Organization Based Access Control model)的基础上,对网络防御控制行为进行抽象,建立计算机网络防御策略模型(CNDPM,Computer Network Defense Policy Model).该模型对保护、检测和响应等策略进行统一建模,并引入角色、视图、活动自动分配的方法,以提高分配的效率,同时给出了策略到规则的推导规则,以细化为具体的防御规则.还给出了策略的完备性、有效性和一致性的形式化描述及分析.实例分析表明,该模型表示的计算机网络防御策略,能够有效地转化为防御规则,具有较好的实用性和扩展性.
夏春和魏玉娣李肖坚何巍
包过滤防火墙在仿真平台中的研究与实现被引量：3
2006年
网络安全仿真是进行网络安全研究的重要手段,而防火墙的仿真是该手段的必要组成部分。本文重点研究防火墙仿真技术,对防火墙规则进行了形式化描述,并给出包过滤过程的自动机设计,基于此,在GTNetS仿真平台中实现了一个包过滤防火墙,并使用适当的测试用例验证了其正确性。
何巍张红兵夏春和
关键词：防火墙仿真自动机GTNETS
一种计算机网络防御策略描述语言被引量：3
2008年
定义了一种计算机网络防御策略描述语言(computer network defense policy specification language,CNDPSL)。该语言面向CNDPM模型,能够统一描述保护、检测和响应策略,并通过策略引擎映射为相应的防御规则。CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性。在GTNetS仿真平台中的实验表明,该语言能够描述防御策略并有效地转换为防火墙的ACL、检测和响应规则等,从而为计算机网络攻防演练提供防御策略支持。
魏玉娣夏春和李肖坚王海泉何巍
关键词：计算机网络防御描述语言
飞机自主着陆中的图形图像识别算法研究
无人战斗机(UCAV)的出现是战术性空中力量的一场革命,未来战场将为无人战斗机提供充分展示的舞台,因此无人战斗机成为各国竞相发展的重要方向.UCAV的回收(着陆)是无人战斗机发展的关键技术之一,人工智能和机器人学的研究发...
何巍
关键词：自主着陆机器视觉跑道识别
文献传递
基于限制性多体问题的地月转移轨道研究
何巍
关键词：优化设计
基于博弈理论的网络安全风险评估系统
本发明公开了一种基于博弈理论的网络安全风险评估系统，该系统首先从被评估网络中采集网络属性数据，包括节点的地址、服务、应用程序、开放端口、软件漏洞等信息，并使用一阶谓词逻辑描述，使用XSB推理引擎基于上述描述遵循谓词逻辑进...
夏春和何巍李肖坚王海泉张成吉毅
文献传递
一种充气柔性结构固有特性求解方法
本发明公开了一种充气柔性结构固有特性求解方法，该方法首先根据充气薄膜结构的受力特点，考虑大变形、初始预应力等几何非线性因素，引入复位平衡法进行找力分析得到给定的目标形态和充气压力所对应的应力分布，然后继承充气平衡态的刚度...
汪俊邱志平王晓军何巍
基于直线特征的跑道识别与提取
本文介绍了一种从摄影机图像中根据跑道的直线特征识别跑道的方法.该方法对获取的原始图像经过去噪预处理和边缘检测算法变成二值图像,再采用Hough变换提取图中的直线,从而识别出跑道.该算法在基于机器视觉的自主着陆控制中,可以...
何巍张平
关键词：机器视觉跑道识别边缘检测HOUGH变换无人机
文献传递
浅论保留买主之期待权
何巍
关键词：TITLE
全选 清除 导出
共2页<12>
聚类工具0