Invia SMS: Stabilization, safety, and security of distributed systems : 12th international symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings / Shlomi Dolev [and others] (eds.).