Stabilization, Safety, and Security of Distributed Systems

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Pascal Felber Vijay Garg 

I S B N：(纸本) 9783319117638 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XII, 370页

主 题 词：Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Systems and Data Security 

摘      要：This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.