As networks become a part of our lives, we are becoming dependent on them, and thus we need them to be highly dependable. Dependability is an important requirement in network's design and operation. This thesis introduces ...