中国航空科学基金(03F51060)

作品数：6被引量：17H指数：3
导出分析报告
相关作者：夏春和李肖坚张红兵赵沁平周小发更多>>
相关机构：北京航空航天大学广西师范大学更多>>
相关期刊：《计算机学报》《航空计算技术》《计算机工程与设计》《北京航空航天大学学报》更多>>
相关主题：GTNETS虚拟环境防御研究网络动态入侵诱骗更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向网络安全演练的分布交互仿真平台
《微计算机信息》2008年第6期62-63,61,共3页陶然 高巍 赵威 夏春和 
航空科学基金(03F51060);北京教育委员会共建项目建设计划基金(SYS100060412)资助
本文在分布式网络仿真器GTNetS[3]和HLA RTI[1]--CeRTI[4]的基础上,针对网络安全演练的需求,设计了一种可伸缩的分布式人在回路网络仿真器。
关键词：分布式交互仿真 网络安全演练 人在回路 
面向攻防演练的计算机网络防御描述语言研究被引量：1
《计算机工程与设计》2008年第1期18-20,24,共4页张红兵 李肖坚 魏玉娣 夏春和 
航空科学基金项目(03F51060);北京教育委员会共建项目建设计划基金项目(SYS100060412);国防基础科研项目基金项目
给出一种面向攻防演练的计算机网络防御系统的设计,此系统用计算机网络防御描述语言(CNDDL)描述。针对PDRR模型,CNDDL语言能够将攻防演练中的防御想定转化成保护、检测、响应和恢复等措施及防御逻辑,由解释器进行解释、执行,并部署在平...
关键词：计算机网络防御 攻防演练 计算机网络防御描述语言 PDRR模型 GTNETS 
一种面向攻击树建模的描述语言被引量：2
《北京航空航天大学学报》2007年第12期1486-1490,共5页唐淑君 李肖坚 屠守中 韦刚 
航空科学基金资助项目(03F51060);北京教育委员会共建项目建设计划基金资助项目(SYS100060412);国防基础科研资助项目(2007A01Z407)
目前网络安全仿真研究中存在缺乏攻击建模方法以及统一描述的问题,因此在采用攻击树建立攻击模型,描述攻击企图、特征和步骤执行过程的基础上,提出一种攻击描述语言CNADL(Computer Network Attack Description Language).攻击树用于对...
关键词：计算机网络攻击 攻击描述语言 攻击树 
包过滤防火墙在仿真平台中的研究与实现被引量：3
《航空计算技术》2006年第6期83-86,90,共5页何巍 张红兵 夏春和 
航空科学基金(03F51060);北京教育委员会共建项目建设计划基金(SYS100060412)
网络安全仿真是进行网络安全研究的重要手段,而防火墙的仿真是该手段的必要组成部分。本文重点研究防火墙仿真技术,对防火墙规则进行了形式化描述,并给出包过滤过程的自动机设计,基于此,在GTNetS仿真平台中实现了一个包过滤防火墙,并使...
关键词：防火墙 仿真 规则 自动机 GTNETS 
一种面向电子邮件的不可否认协议及其形式化分析被引量：5
《计算机研究与发展》2006年第11期1914-1919,共6页彭红艳 李肖坚 夏春和 邓剑锋 周小发 
航空科学基金项目(03F51060);北京市教育委员会共建项目建设计划基金项目(SYS100060412)
不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否...
关键词：不可否认协议 形式化分析 SVO逻辑 可信第三方 
基于入侵诱骗的网络动态防御研究被引量：6
《计算机学报》2004年第12期1585-1592,共8页夏春和 李肖坚 赵沁平 
国家航空基金 ( 0 3F5 10 60 );预研基金 ( 4180 10 70 3 );北京市教委项目"入侵检测与网络防护技术"资助
网络攻击的目标可以归纳为目标端的数据资源、计算资源及连接资源 .为抵御以数据资源为目标的攻击 ,文章提出一种基于入侵诱骗的网络动态防御系统 ;以形式化方法描述并论证了该系统的网络动态防御能力 ;提出了通过分析行为操作序列判断...
关键词：行为分析 入侵诱骗 虚拟环境 虚拟服务 虚拟环境控制 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部