Stabilization, Safety, and Security of Distributed Systems

9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

AvToshimitsu Masuzawa,Sébastien Tixeuil

Häftad, Engelska, 2007

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.

Produktinformation

Utgivningsdatum:2007-11-06
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:414
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540766261

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults?.- Role-Based Self-configuration of Sensor Networks.- Robots and Molecules.- Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.- Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.- Decentralized Detector Generation in Cooperative Intrusion Detection Systems.- Stabilizing Flocking Via Leader Election in Robot Networks.- Stabilization in Dynamic Systems with Varying Equilibrium.- Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems.- Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.- On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion.- Stability of the Multiple-Access Channel Under Maximum Broadcast Loads.- Stabilization of Flood Sequencing Protocols in Sensor Networks.- Stabilization of Loop-Free Redundant Routing.- Secure Failure Detection in TrustedPals.- Probabilistic Fault-Containment.- Self* Minimum Connected Covers of Query Regions in Sensor Networks.- Robust Stabilizing Leader Election.- Byzantine Self-stabilizing Pulse in a Bounded-Delay Model.- Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract).- Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).- r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks.- Global Predicate Detection in Distributed Systems with Small Faults.- The Truth System: Can a System of Lying Processes Stabilize?.- Temporal Partition in Sensor Networks.- Secure and Self-stabilizing Clock Synchronization in SensorNetworks.- On the Probabilistic Omission Adversary.- Upper Bounds for Stabilization in Acyclic Preference-Based Systems.- A Self-stabilizing Weighted Matching Algorithm.- Self-stabilization and Virtual Node Layer Emulations.

Du kanske också är intresserad av

Stabilization, Safety, and Security of Distributed Systems

Sebastien Tixeuil, Toshimitsu Masuzawa

E-bok

2007

739 kr

Stabilization, Safety, and Security of Distributed Systems

Yonghwan Kim, Junya Nakamura, Hirotsugu Kakugawa, Yoshiaki Katayama, Toshimitsu Masuzawa

E-bok

2024

1 116 kr

Self-Stabilizing Systems

Sébastien Tixeuil, Ted Herman

Häftad, 2005

572 kr

Del 11914

Stabilization, Safety, and Security of Distributed Systems

Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi

Häftad, 2019

572 kr

Principles of Distributed Systems

Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah

Häftad, 2010

564 kr

Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita - Stabilization, Safety, and Security of Distributed Systems, Häftad

Del 8255

Stabilization, Safety, and Security of Distributed Systems

Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita

Häftad, 2013

572 kr

Biologically Inspired Approaches to Advanced Information Technology

Shinji Kusumoto, Toshimitsu Masuzawa, Auke Jan Ijspeert

E-bok

2005

734 kr

Toshimitsu Masuzawa, Yoshiaki Katayama, Hirotsugu Kakugawa, Junya Nakamura, Yonghwan Kim - Stabilization, Safety, and Security of Distributed Systems, Häftad

Del 14931

Stabilization, Safety, and Security of Distributed Systems

Toshimitsu Masuzawa, Yoshiaki Katayama, Hirotsugu Kakugawa, Junya Nakamura, Yonghwan Kim

Häftad, 2024

911 kr

Biologically Inspired Approaches to Advanced Information Technology

Auke Jan Ijspeert, Toshimitsu Masuzawa, Shinji Kusumoto

Häftad, 2006

572 kr

Principles of Distributed Systems

Mohamed Mosbah, Toshimitsu Masuzawa, Chenyang Lu

E-bok

2010

718 kr

Stabilization, Safety, and Security of Distributed Systems

9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

AvToshimitsu Masuzawa,Sébastien Tixeuil

Häftad, Engelska, 2007

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2007-11-06
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:414
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540766261

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults?.- Role-Based Self-configuration of Sensor Networks.- Robots and Molecules.- Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.- Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.- Decentralized Detector Generation in Cooperative Intrusion Detection Systems.- Stabilizing Flocking Via Leader Election in Robot Networks.- Stabilization in Dynamic Systems with Varying Equilibrium.- Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems.- Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.- On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion.- Stability of the Multiple-Access Channel Under Maximum Broadcast Loads.- Stabilization of Flood Sequencing Protocols in Sensor Networks.- Stabilization of Loop-Free Redundant Routing.- Secure Failure Detection in TrustedPals.- Probabilistic Fault-Containment.- Self* Minimum Connected Covers of Query Regions in Sensor Networks.- Robust Stabilizing Leader Election.- Byzantine Self-stabilizing Pulse in a Bounded-Delay Model.- Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract).- Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).- r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks.- Global Predicate Detection in Distributed Systems with Small Faults.- The Truth System: Can a System of Lying Processes Stabilize?.- Temporal Partition in Sensor Networks.- Secure and Self-stabilizing Clock Synchronization in SensorNetworks.- On the Probabilistic Omission Adversary.- Upper Bounds for Stabilization in Acyclic Preference-Based Systems.- A Self-stabilizing Weighted Matching Algorithm.- Self-stabilization and Virtual Node Layer Emulations.