Stabilization, safety, and security of distributed systems : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006 : proceedings - Datta, Ajoy K; Gradinariu, Maria (Springer, 2006)