Teruo Higashino Knihy

This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.

The book covers a wide range of topics related to distributed systems, protocols, and network security. It begins with an exploration of protocol system integration and interoperability, focusing on distributed automated regression testing for large-scale network applications and methodologies for testing mobile and distributed systems. The discussion progresses to ad-hoc networks and mobile agents, examining issues like black hole searches in tree networks and localized Delaunay triangulation. Subsequent sections delve into grid networks, highlighting protocols for recording provenance in service-oriented grids and self-optimizing distributed hash tables. Security challenges are addressed through comparisons of failures and attacks on various network types, alongside firewall query techniques. The text also includes insights into distributed algorithms, presenting self-tuning reactive trees and lock-free data structures. Self-stabilization is another focal point, with algorithms for token circulation and depth-first search in arbitrary networks. The design of distributed systems continues with discussions on quorum deployment and consistency in replicated systems. Finally, sensor networks are examined, contrasting directional and omnidirectional antennas, secure location verification, and clock synchronization. The book concludes with innovative approaches to task and resource allocation, emphasizing distributed scheduling