Stav dette: Stabilization, safety, and security of distributed systems : 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings / Toshimitsu Masuzawa, Sébastien Tixeuil (eds.).