The pervasive interconnection of systems throughout the world has given computer services
a significant socioeconomic value that both accidental faults and malicious activity can …

Large scale distributed systems typically have interactions among different services that
create an avenue for propagation of a failure from one service to another. The failures being …

State machine replication (SMR) is a generic technique for implementing fault-tolerant
distributed services by replicating them in sets of servers. There have been several …

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

The cloud has become an established and widespread paradigm. This success is due to the
gain of flexibility and savings provided by this technology. However, the main obstacle to full …

Many institutions rely on open systems to provide services to the public via the Internet.
Unanticipated software vulnerabilities expose such services to malicious actors, and make …

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 …

The detection of attacks and intrusions based on anomalies is hampered by the limits of
specificity underlying the detection techniques. However, in the case of many critical …

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

网络空间拟态防御(CMD, cyberspace mimic defense) 基于动态异构冗余架构实现多体执行,
多模裁决和多维重构, 以不确定性系统应对网络空间泛在化的不确定性威胁. 从纵向, 横向, 当前 …