Stabilization, safety, and security of distributed systems : 14th international symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings - Andrea W. Richa, editor ([, Springer-Verlag ], 2012)