欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Cognitive model and formal description for survivable system based on SM-PEPA
时间:2014.1.10
页码:1265-1272
相关项目:可生存系统自主认知模式研究
作者:
li lin|sheng linyang|wang jian|zhang nan|
同期刊论文项目
可生存系统自主认知模式研究
期刊论文 24
会议论文 4
著作 2
同项目期刊论文
一种信息系统可生存性的自配置增长方法
A Method of Autonomous Emergency Rejuvenation for Survivable System
一种信任优化搜索的p2p节点资源定位算法
Formal description of cognitive reference model for surviable system based on symbolic trace method
一种可生存系统的自主管理模型
一种可生存系统认知性的评估方法研究
Sccurity Analysis and Enhanced Design of an Dynamic Block Cipher
云计算系统认知生存模型及量化分析
基于 SM-PEPA 可生存系统认知模型及量化分析
基于高阶多型π演算的可生存系统认知模型研究
可生存系统的自主可识别性机制研究
基于多维动态S盒混淆替换和N级联动LFSR的分组密码算法
基于模糊关系矩阵的可生存系统认知参考模型分析
面向服务性能的认知网络理论及形式化建模方法
一种可生存系统的自主应急恢复方法
基于Agent的可生存系统认知单元结构模型
可生存系统认知性的评估方法
Security Analysis and Enhanced Design of a Dynamic Block Cipher
网络空间安全课程的实践教学设计
物联网安全与工程专业的建设模式探索