Zaslat SMS: Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / Andréa W. Richa, Christian Scheideler (eds.).