【61170295】计算机网络防御的决策语义及其分析机制研究国家自然基金项目

计算机网络防御的决策语义及其分析机制研究

项目批准号： 61170295

批准年份： 2011

学科分类： F0205.网络与系统安全

项目负责人：夏春和

资助类别：面上项目

负责人职称：教授

依托单位：北京航空航天大学

资助金额： 56万元

关键词：语义分析模型;语义分析机制;决策模型;语义模型;计算机网络防御

起止时间： 2012-01-01到2015-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	A Security Assessment Framework and Selection Method for Outsourcing Cloud Service	期刊论文	Liu Xiaochen\|Xia Chunhe\|Cao Jiajin\|Gao Jinghua\|
2	Optimal Service Selection Based on Business for Cloud Computing	会议论文
3	An approach for description of computer network defense scheme and its simulation verification	期刊论文	Chunhe Xia\|Yang Luo\|Xiaochen Liu\|Weikang Wu\|
4	Modeling, Conflict Detection and Verification of a New Virtualization RBAC Framework	期刊论文	Chunhe Xia\|Liangshuang Lv\|Zhao Wei\|Yazhuo Li\|
5	The Temporal Characteristic of Human Mobility: Modeling and Analysis of Social Worm Propagation	期刊论文	Wang, Tianbo\|Xia, Chunhe\|Jia, Qiong\|
6	Research on Loophole with Second Distribution of Real Value Detectors	期刊论文	Tianbo Wang\|Fengbin Zhang\|Chunhe Xia\|
7	一种移动Ad Hoc网络可生存性模型建模及仿真验证方法	期刊论文	夏春和\|何冰\|焦健\|马心意\|
8	Scalable and Identifier/ Locator-Splitting Routing Protocol for Mobile Ad Hoc Networks	期刊论文	Wang Haiquan\|Chen Meng\|Hu Junshun\|Xia Chunhe\|
9	基于云模型的防御代理信任评估模型	期刊论文	余洋\|夏春和\|王星河\|
10	A Computer Network Defense-Oriented Scheme Description Language	会议论文
11	An Approach for Description of Computer Network Defense Scheme and Its Simulation Verification	期刊论文	Chunhe Xia\|Yang Luo\|Xiaochen Liu\|Weikang Wu\|
12	Semantic Similarity Analysis between High-Level Model Description Text and Low-Level Implementation Text for Network Survivability	会议论文	Chunhe Xia\|Qing Wei\|Yujian Zhou\|Shan Yao\|
13	一种基于着色Petri网的RBAC策略冲突检测方法	期刊论文	罗扬\|梁晓艳\|夏春和\|吕良双\|
14	Modeling and Global Conflict Analysis of Firewall Policy	期刊论文	Xia Chunhe\|Jiao Jian\|Hu Junshun\|Li Xiaojian\|
15	Semantics-Based Compliance Analysis of Network Security Policy Hierarchies	期刊论文	Xia Chunhe\|Hu Junshun\|Jiao Jian\|Li Xiaojian\|
16	一种用于网络可生存性模型建模验证的平台	期刊论文	夏春和\|何冰\|焦健\|马心意\|
17	CNDIDL:A CND Intention Description Language for CND Decision	会议论文	Liangshuang Lv\|Zhao Wei\|Weikang Wu\|Chunhe Xia\|
18	Modeling, conflict detection, and verification of a new virtualization role-based access control framework	期刊论文	Xia, Chunhe\|Lv, Liangshuang\|Wei, Zhao\|Li, Yazhuo\|
19	一种基于着色Petri网的RBAC策略冲突检测方法	期刊论文	罗杨\|梁晓艳\|夏春和\|吕良双\|
20	Detecting Compromised VM via Application-aware Anomaly Detection	会议论文
21	Research on Second Distribution of Real Value Detectors Based on Heuristic Movement	会议论文
22	一种计算机网络对抗战术情报的生成模型	期刊论文	李肖坚\|焦健\|魏晴\|夏春和\|
23	VRBAC: an Extended RBAC Model for Virtualization Environment and Its Conflict Detection Approach	会议论文
24	一种基于双模式虚拟机的多态Shellcode检测方法	期刊论文	夏春和\|李亚卓\|魏昭\|梁晓艳\|
25	基于本体的传感器网络信息共享研究	期刊论文	李宗浩夏春和张成\|
26	A Computer Network Defense Policy Refinement Method	会议论文
27	Generating attack scenarios for attack intention recognition	会议论文	Yuan Zhichao\|Yao Shan\|Xia Chunhe\|Wei Qing\|
28	Trust Type Based Trust Bootstrapping Model of Computer Network Collaborative Defense	期刊论文	YU Yang\|XIA Chunhe\|LI Shiying\|LI Zhong\|
29	A Verification Method of Enterprise Network Reachability Based on Topology Path	会议论文
30	A Conflict-related Rules Detection Tool for Access Control Policy	会议论文
31	Conflict detection model of access control policy in collaborative environment	会议论文	Liang Xiaoyan\|Luo Yang\|Bo Yang\|Xia Chunhe\|
32	Static Compliance Checking Beyond Separation of Duty Constraints	会议论文
33	一种计算机网络对抗战术情报的生成模型	期刊论文	李肖坚\|焦健\|魏晴\|夏春和\|
34	面向网络协同防御的动态风险评估模型	期刊论文	王星河\|余洋\|夏春和\|
35	一种基于双模式虚拟机的多态Shellcode检测方法	期刊论文	罗杨\|夏春和\|梁晓艳\|魏昭\|
36	一种移动Ad Hoc网络可生存性模型建模及仿真验证方法	期刊论文	夏春和\|何冰\|焦健\|马心意\|
37	Automatic generation algorithm of penetration graph in penetration testing	会议论文
38	An automated method of penetration testing	会议论文
39	网络信息安全模拟仿真评估技术	奖励

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享