Stabilization, Safety, and Security of Distributed Systems : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011, Proceedings - Xavier Défago, Franck Petit, Vincent Villain ((Lecture Notes in Computer Science))