摘要
首先,提出一个具有多层感知功能的可生存系统认知模型;然后,在介绍了高阶多型π演算的语法和操作语义的基础上,对可生存系统认知模型进行形式化描述;最后,实现对可生存系统在不同攻击下的系统可用性试验,仿真结果验证了该形式化描述与分析方法的有效性和可行性。
Firstly, proposed a cognitive model for survivable system with a multilayer cognitive ＇ability; then, based on the introduction of the syntax and operational semantics of high - order multi - type π calculus, took formal modeling of cogni- tive model for survivable system; finally, achieved the tests about system availability in different attacks of survivable sys- tem, simulation results proved that the formal description and analysis method were feasible and effective.
出处
《智能计算机与应用》
2014年第6期8-10,14,共4页
Intelligent Computer and Applications
基金
国家自然科学青年基金(61202458)
高等学校博士学科点专项科研基金(20112303120007)
哈尔滨师范大学硕士研究生创新科研项目(HSDSSCX2014-03)
关键词
可生存系统
认知模型
形式化描述
量化分析
Survivable System
Cognitive Model
Formal Modeling
Quantitative Analysis
