STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS: 9TH INTERNATIONAL SYMPOSIUM, SSS 2007 PARIS, FRANCE, NOVEMBER 14-16, 2007 PROCEEDINGS