位置：成果数据库 > 期刊 > 期刊详情页
Formal modeling and quantitative evaluation for information system survivability based on PEPA
  • ISSN号：1006-8885
  • 期刊名称：The Journal of China Universities of Posts and Tel
  • 时间：0
  • 页码：88-96
  • 语言：英文
  • 分类：TP393[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]Institute of Computer Science and Technology, Harbin Engineering University,Harbin 150001, China
  • 相关基金：Acknowledgements This work is supported by the National Natural Science Foundation of China （90718003）, the Hi-Tech Research and Development Program of China （2007AA01Z401） and the Specialized Research Fund for the Doctoral Program of Higher Education （20050217007）.
  • 相关项目：基于自律计算的软件可信性增长模型与方法
作者： Huiqiang Wang|Guosheng Zhao|Jian Wang|
关键词： 残存性, 计算机网络, 随机处理, 信息处理, survivability, stochastic process algebra, performanceevaluation process algebra, formal modeling, quantitativeevaluation
中文摘要：

Biographies： WANG Jian, Ph.D. Candidate in Harbin Engineering University, interested in trustworthy networks and trustworthy computing.E-mail： wangjianlydia@ 163.com WANG Hui-qiang, professor and doctoral supervisor in Harbin Engineering University, interested in network technology and information security.

同期刊论文项目
基于自律计算的软件可信性增长模型与方法
期刊论文 63 会议论文 15 获奖 3 著作 3
同项目期刊论文
Analysis on testing and operational reliability of software
基于序列蒙特卡罗的网络生存态势跟踪评估
基于多项式异构无线传感器网络密钥预分配方案
基于模糊层次化评估的分布式系统自毁感知方法及应用
基于DSimC和EWDS的网络安全态势要素提取方法
一种关键任务系统自律可信性模型与量化分析
Location-aware and Secret Share Based Dynamic Key Management Scheme for Wireless Sensor Network
基于自配置的软件可信性增长方法
一种基于PEPA流近似方法的动态自省模型
异构传感器网络密钥管理框架研究
分布式系统层次化自毁方法研究
面向网络态势感知的多源异构日志传感器设计
Autonomic failure prediction based on manifold learning for large-scale distributed systems
Evaluation of Software Dependability Based on Pi-Calculus
面向自愈系统的综合监视模型及其实现研究
基于自配置的软件可信性增长方法研究
基于snmp的网络安全态势传感器设计实现
基于多源异质融合的网络安全态势生成与评价
面向认知网络的用户QoS动态自配置方法
Cyber Physical Systems — 物理网络系统
Nonlinearly Correlated Failure Analysis and Autonomic Prediction for Distributed Systems
一个基于自律计算的的系统服务性能自优化机制
认知网络体系结构研究新进展
一种基于Pi演算的软件可信性度量方法
基于区域的异构无线传感器网络密钥管理
一种基于Bellman动态规划的服务恢复方法
非线性相关的失效数据联合聚类分析与预测
一种增强关键服务可生存性的应急调度算法
面向特定服务的网络安全态势数据采集与分析
基于模糊层次分析的网络服务级安全态势评价研究方法
自律入侵容忍系统的模型构建与量化分析
自律计算系统测评技术研究
基于网络服务影响分析的网络安全态势定量感知方法
一个基于自律计算的系统服务性能自优化机制
传感网中以能量为中心的部分网络编码方案
分布式任务关键系统生存性自动分析与验证
基于灰色Verhulst的网络安全态势感知模型
基于改进曲面熵的动态水面模拟方法
应用WEMLS的安全数据集成模型
自律计算评估技术研究
Cyber Physical Systems—物理网络系统
基于网络服务状态分析的安全态势定量感知方法
基于信赖域的系统可信性自调节算法
基于条件随机场的网络安全态势量化感知方法
近程防御武器系统可视化仿真研究
分形算法调和的海浪模拟方法
Bellman动态规划的服务恢复方法
分布式系统层次化自毁方法及案例研究
基于按对平衡设计的异构无线传感器网络密钥预分配方案
基于Snake模型的碰撞检测算法研究
虚拟手术中基于可碰撞集的软组织自碰撞检测算法
网络安全态势认知融合感控模型
虚拟装配中基于双目视觉的用户化身研究
基于多源数据特征的服务安全态势感知模型研究
一种分阶处理的软件自恢复方法
Autonomic failure prediction based on manifold learning for large-scale distributed systems
Nonlinearly correlated failure analysis and autonomic prediction for distributed systems
A statistical end-to-end performance model for networks with complex topologies