中国航空科学基金(03F31007)
- 作品数：21 被引量：96H指数：5
- 相关作者：房鼎益陈晓江吕镇邦吴晓南周利华更多>>
- 相关机构：西北大学西安电子科技大学中航工业西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金陕西省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学建筑科学更多>>
- 一个基于SOA的大型分布式计算机辅助教学系统被引量：38
- 2005年
- 传统的面向对象的软件开发方法所开发的应用系统通常与开发工具、宿主平台、操作系统紧密耦合,容易导致和形成所谓的“信息孤岛”。面向服务的体系结构(SOA)被认为是解决分布式环境中软件重用、互操作、提高软件开发效率的有效途径。本文以一个具体的计算机辅助教学管理系统—NWU-CMI为实例,研究了利用Web服务实现基于SOA的大型分布式软件系统的有效方法,同时,深入分析了采用SOA体系结构开发NWU-CMI系统的代码重用、系统结构、服务组装等关键实现技术。
- 房鼎益安娜魏东符凯张建中
- 关键词：CMI计算机辅助教学系统软件开发方法分布式软件系统
- 基于神经网络的程序异常监测
- 2005年
- 针对传统入侵检测系统的不足,研究了基于反向传播神经网络的程序异常检测方法,提出了一个改进的利用多层前馈网络的预测功能和异常区域判定方法检测系统异常的算法.详细讨论了算法的基本原理、数学基础、设计和实现方法.通过实验,分析算法的优缺点,验证了算法的可行性和有效性.
- 安娜杨珂王丽苹房鼎益
- 关键词：网络安全反向传播神经网络
- 利用LSM框架实现基于角色的访问控制被引量：3
- 2006年
- 传统的L inux操作系统只提供有限的访问控制机制,缺乏对现有访问控制模型的有效支持,为了克服L inux在安全访问控制方面的不足,增强安全管理的灵活性和易用性,本文深入研究了LSM(L inux SecurityModu le)安全访问框架和基于角色的访问控制(RBAC-Role-Based Access Control)技术,提出了一种利用LSM框架实现RBAC的方法,并详细讨论了在L inux环境中有关实现问题。
- 王亚刚房鼎益吴晓南刘炜
- 关键词：LINUXLINUX安全模块访问控制
- 并发系统模型检测中的状态约减算法
- 2007年
- 组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。对此提出了基于假定状态约减验证算法(ABSR),通过自动构造子系统接口定义来约束其状态规模,在验证过程中约减冗余状态,能更大程度降低状态爆炸几率和提高验证效率。借助假定-保证(Assume-Guarantee)算法有效性定理和组合可达性分析(CRA)算法安全性验证定理,证明该验证算法的有效性。通过采用通信系统演算(CCS)描述的任务模型为例证,证明上述算法比传统CRA算法更有效。
- 陈晓江杨琛冯健房鼎益
- 关键词：安全性
- 基于有序加权平均算子的概率模糊认知图被引量：1
- 2008年
- 模糊认知图(FCM)与概率模糊认知图(PFCM)使用简单的加权和集结因果推理结果,忽略了原因节点间关联关系的不确定性,阈值函数导致推理结果进一步失真。在继承FCM与PFCM优点的基础上,引入有序加权平均(OWA)算子模拟各种确定的或模糊的与或组合关系,提出了基于有序加权平均算子的概率模糊认知图(OWA-PF-CM)。通过构建一个动态的攻击效能评估模型,阐述了OWA-PFCM在工程建模中的应用。OWA-PFCM能同时表示因果节点状态的不确定性、因果联系强度的不确定性、与或组合关系的不确定性,具有更强的模拟能力。
- 吕镇邦周利华
- 关键词：模糊认知图有序加权平均算子因果关系
- 基于WOWA集结的模糊认知图(英文)被引量：1
- 2008年
- 现有模糊认知图(Fuzzy Congnitive Map,FCM)模型忽略了原因节点间与或组合关系的不确定性.针对这一缺陷,作者通过引入加权的有序加权平均(Weighted Ordered Weighted Averaging,WOWA)算子来模拟原因节点间确定的或模糊的与或关系,提出了基于WOWA集结算子的模糊认知图框架.为增强传统FCM的因果认知性能,作者在此新的框架下,利用单前件模糊规则拓展数值型FCM的因果模糊测度,提出了一种混合模糊认知图模型.
- 吕镇邦周利华
- 关键词：模糊认知图模糊规则
- 基于UML的构件检索被引量：2
- 2006年
- 基于构件的软件开发(CBD)是当前大型软件系统开发方法的主流,而CBD的基础是构件库及其检索方法。目前主要采用从领域模型中获得特定领域知识辅助用户进行构件检索,但缺乏较好的领域模型表示方法。本文对使用UML表示领域模型进行了研究,提出了一个利用UML和领域词典中的领域知识辅助用户刻画领域、扩充和求精初始查询、形成用户的构件需求并指导构件库检索,通过行为相似性确定构件的构件检索方法。该方法增强了用户对领域知识的了解,在检索过程中充分考虑了与构件相关的领域知识、检索上下文以及用户的意图,可对结果集进行有效筛选评优,极大地提高了查全率、查准率及用户的满意度。为了验证该方法的可行性和有效性,设计并实现了一个高效的构件检索环境。
- 冯艳华房鼎益陈晓江刘炜
- 关键词：CBDUML
- 一个网络安全风险评估模型的研究与设计被引量：12
- 2007年
- 风险评估是综合的网络安全体系的基础和关键。在传统的风险评估中,大粒度的评测结果不能给管理员提供切实有用的信息。对此,提出了基于漏洞扫描和攻击效果评测的安全评估模型,采用自下而上、先局部后整体的层次化评估策略,利用服务和主机自身的重要性因子加权,分别计算服务、主机以及整个网络系统的风险指数,进而分析整个系统的安全态势。仿真试验测试表明,该模型能够准确评估服务、主机和网络系统3个层次的安全态势,在一定程度上提高了评估结果的准确性和一致性。
- 冯妍房鼎益陈晓江
- 关键词：网络安全风险评估脆弱性
- 一个基于移动Agent的分布式入侵检测系统被引量：9
- 2005年
- 目的 针对当前入侵检测系统扩展性、容错性和适应性差的问题,提出并重点研究了一个将移动Agent技术应用于分布式网络监测和入侵检测系统的技术方案。方法 设计并实现了一个基于移动Agent技术的网络监测和入侵检测系统,分析讨论了系统体系结构、功能设置、移动Agent组成与应用等问题。结果 所设计的系统具有分布、异构、灵活和可扩充的优点。结论 所完成的工作对大型网络应用和网络管理系统的开发有一定借鉴意义。
- 安娜张凡吴晓南张建中房鼎益
- 关键词：网络安全移动AGENT入侵检测网络监测
- 基于WOWA-FAHP的网络安全态势评估被引量：15
- 2009年
- 从入侵响应决策与安全管理的实际需求出发,提出了基于WOWA合成的模糊层次分析法(WOWA-FAHP)和基于WOWA-FAHP的网络安全态势评估模型。WOWA-FAHP方法在继承模糊层次分析法优点的基础上兼顾属性间的客观、主观关联性,能够适应各种决策偏好。基于WOWA-FAHP的评估模型把动态评估与静态评估相结合,充分利用系统安全风险评估、入侵警报融合关联、异常监测与安全审计所提供的多种信息,综合考虑警报类、异常类、脆弱性、后果性等多方面的评价指标,并依据不同安全策略,通过WOWA-FAHP方法处理诸如评价要素间的复杂关系。网络应用服务系统安全态势评估实例证明了方法与模型的有效性。
- 吕镇邦周波
- 关键词：网络安全模糊层次分析法决策偏好
