𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Stabilization, Safety, and Security of Distributed Systems Volume 6976 || Analysis of DSR Protocol in Event-B

✍ Scribed by Défago, Xavier; Petit, Franck; Villain, Vincent

Book ID
121346971
Publisher
Springer Berlin Heidelberg
Year
2011
Tongue
English
Weight
278 KB
Edition
1
Category
Article
ISBN
3642245501

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011. The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following areas: ad-hoc, sensor, and peer-to-peer networks; safety and verification; security; self-organizing and autonomic systems; and self-stabilization.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Stab
[Lecture Notes in Computer Science] Stabilization, Safety, and Security of Distributed Systems Volume 6976 || Conflict-Free Replicated Data Types
✍ Défago, Xavier; Petit, Franck; Villain, Vincent 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 271 KB

Replicating data under Eventual Consistency (EC) allows any replica to accept updates without remote synchronisation. This ensures performance and scalability in large-scale distributed systems (e.g., clouds). However, published EC approaches are ad-hoc and error-prone. Under a formal Strong Eventua

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 5219 || Formal Security Analysis of Electronic Software Distribution Systems
✍ Harrison, Michael D.; Sujan, Mark-Alexander 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 205 KB

This Book Constitutes The Refereed Proceedings Of The 27th International Conference On Computer Safety, Reliability, And Security, Safecomp 2008, Held In Newcastle Upon Tyne, Uk, In September 2008. The 32 Revised Full Papers Presented Together With 3 Keynote Papers And A Panel Session Were Carefully

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6351 || Security Analysis of Open Building Automation Systems
✍ Schoitsch, Erwin 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 533 KB

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ag