We present an architecture1 designed for alert verification (i.e., to reduce false positives) in network intrusion-detection systems. Our technique is based on a systematic (and a...
This paper describes an asynchronous state-machine replication system that tolerates Byzantine faults, which can be caused by malicious attacks or software errors. Our system is t...
Simulation techniques have been proven as reliable and powerful tools in the design, development, evaluation and operation of manufacturing systems. The following paper presents a...
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
Adaptation of system parameters is acknowledged as a requirement to scalable and dependable distributed systems. Unfortunately, adaptation cannot be effective when provided solely...