Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings - Spirakis, Paul; Tsigas, Philippas (Springer International Publishing : Imprint: Springer, 2017)