【摘 要】
：
随着攻防行为日趋复杂多样,用户对于防御机制的选择更加灵活,评估防御机制效能需要对系统攻防行为进行统一建模,但是目前系统安全模型建模能力不足,无法统一描述现实多种攻防
【基金项目】
：
国家自然科学基金资助项目[61402519]
论文部分内容阅读
随着攻防行为日趋复杂多样,用户对于防御机制的选择更加灵活,评估防御机制效能需要对系统攻防行为进行统一建模,但是目前系统安全模型建模能力不足,无法统一描述现实多种攻防场景,不能反映攻防双方的信息认知对抗过程。论文围绕系统攻击面和系统攻防对抗行为,提出一种系统安全统一建模方法,并对其进行了形式化描述。案例分析表明该模型能够准确描述多种典型攻防场景,并能对系统防御策略效能进行定性分析。
其他文献
福建闽江学院中文系王金城教授新著《台湾新世代诗歌研究》2008年8月由厦门大学出版社出版。该书为作者的博士论文,除了《绪论》、《结语》及附录《台湾新世代诗人小传》,共
随着我国航空事业的快速稳定发展,积极加强航空安全保障工作,对提高我国航空事业的发展有积极的影响。航空安全员在工作过程中,需要保障航空飞行过程中的安全,并针对可能发生
深化农村集体制度改革是巩固完善农村基本土地制度的必然选择、是解决“三农”问题，全面建成小康社会的重要保证。改革农村集体产权制度，能有效保障农民财产权利，增加农民财产性
文章首先阐述了小学教师专业伦理建设存在的问题,然后分析了小学教师专业伦理缺失的原因,即受传统教师权威的影响;小学教师过度功利主义;小学教师专业伦理意识薄弱。最后从制
针对中原油田地层水敏问题,研制出PTC型粘土稳定剂。这种稳定剂是一种阳离子型有机聚合物与KCl或NH_4Cl的复配体系。室内评价结果表明该剂具有长效、易溶于水、和酸的配伍性
<正>西方经济理论的发展,围绕着市场和国家及其相互关系,展开激烈争论.国家干预主义和经济自由主义是资本主义国家经济理论中的两种基本思潮,它伴随着资本主义的产生、发展和
一年一度的小阳春时节,在家庭资产中拥有房产最多的国人,却被一则消息困扰——房产税是不是很快出台,是不是要尽快出脱手里的房产?原因来自于两则消息。第一,3月5日,政府工作
在目前已有的LCL并网逆变器电流控制方法中,分裂电容法作为一种单电流反馈控制方法,通过降阶实现了较小的稳态误差和电流谐波失真,然而传统的分裂电容法未能解决LCL滤波器固
真核生物细胞中的染色体数目往往比较稳定,是一种很有价值的系统学性状。而那些有很多或很少染色体数目的物种通常能分别代表真核细胞在染色体结构变异和进化中的复杂系统及