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