There is a need to quantify system properties methodically. Dependability and security
models have evolved nearly independently. Therefore, it is crucial to develop a classification …

This paper proposes a quantitative security evaluation for software system from the
vulnerability data consisting of discovery date, solution date and exploit publish date based …

We consider availability models of an intrusion tolerant system, and investigate quantitative
effects of preventive maintenance based on security patch releases. The stochastic behavior …

Survivability modeling and evaluation have gained increasing importance. Most existing
models assume that the distributions for transitions between states are exponential …

In this paper we quantitatively evaluate the security of intrusion tolerant systems with
preventive maintenance subject to DoS (Denial of Service) attacks. More specifically, we …

摘要针对事务和数据的实时特性, 给出了具有入侵容忍能力的实时数据库系统的体系架构.
基于实时性的要求和入侵检测存在的延迟, 提出了半马尔可夫评价模型, 对实时数据库在入侵 …

Indoor positioning methods based on RSSI-distance mapping were mass used for less
surveying or mapping preparations or seldom additional devices, while the bottleneck is …

The authors describe the formal environment at Kesteral for synthesizing programs. The
authors show that straightforward formalization, persistently applied at all levels of system …

This paper proposes the definition of a security criterion and security assessment based on
the criterion. More precisely, we present a stochastic model with a vulnerability life-cycle …

In this paper we consider a discrete-time availability model of an intrusion tolerant system
with two detection modes; automatic detection mode and manual detection mode. The …