Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings - Masuzawa, Toshimitsu; Tixeuil, Sébastien (Springer Berlin Heidelberg, 2007)