一种可生存系统的自主认知模型研究

摘要：

首先,提出一个具有多层感知功能的可生存系统认知模型;然后,在介绍了高阶多型π演算的语法和操作语义的基础上,对可生存系统认知模型进行形式化描述;最后,实现对可生存系统在不同攻击下的系统可用性试验,仿真结果验证了该形式化描述与分析方法的有效性和可行性.

关键词：可生存系统、认知模型、形式化描述、量化分析

所属期刊栏目：4

分类号：TP302(计算技术、计算机技术)

资助基金：国家自然科学青年基金61202458;高等学校博士学科点专项科研基金20112303120007;哈尔滨师范大学硕士研究生创新科研项目HSDSSCX2014-03

在线出版日期：2015-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：8-10,14