|
论文《任务关键系统可生存性的形式化建模方法》发表于2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)。该文提出一种基于形式化方法的建模技术，用于评估和提升任务关键系统的可生存性。通过引入形式化模型，研究者能够更精确地描述系统在故障或攻击下的行为，从而为系统设计提供理论支持和验证手段。 文档为pdf格式，0.32MB，总共6页。
- 文件大小:
- 327.68 KB
- 下载次数:
- 60
- 任务关键系统可生存性的形式化建模方法 - 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011).pdf ...
-
高速下载
| 
