Intrusion-Resilient Middleware Design and Validation

Intrusion tolerance has become a reference paradigm for dealing with intrusions and accidental faults, achieving security and dependability in an automatic way, much along the lines of classical fault tolerance. This chapter is an introduction to the design and validation of intrusion-tolerant middleware and systems. Intrusion Tolerance (InTol) is a new security and dependability paradigm that slowly emerged in the past two decades. While most security paradigms attempt to prevent intrusions from occurring, InTol assumes that systems are so complex that vulnerabilities are inevitable, therefore, intrusions will happen and have to be tolerated.