Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings - Higashino, Teruo; Katayama, Yoshiaki; Masuzawa, Toshimitsu; Potop-Butucaru, Maria; Yamashita, Masafumi (Springer International Publishing : Imprint: Springer, 2013)