Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Pelc, Andrzej (Editor), Schwarzmann, Alexander A. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Lecture Notes in Computer Science, 9212
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer security.; Computer logic.; Management information systems.; Computer Science.; Computer Communication Networks.; Software Engineering.; Information Systems Applications (incl. Internet).; Management of Computing and Information Systems.; Logics and Meanings of Programs.; Systems and Data Security.

This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were care...

Table of Contents:

• Self-stabilization
• Fault-tolerance and dependability
• Ad-hoc and sensor Networks
• Mobile agents
• System security in distributed computing
• Formal methods and distributed algorithms.