Proceeding International Conference on Dependable Systems and Networks. DSN 2000