Borrow it
Coverart for item
The Resource Stabilization, safety, and security of distributed systems : 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings, Toshimitsu Masuzawa, Sébastien Tixeuil (eds.)

Stabilization, safety, and security of distributed systems : 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings, Toshimitsu Masuzawa, Sébastien Tixeuil (eds.)

Creator
Contributor
Summary
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 3 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 programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems
Language
eng
Work
Publication
Extent
1 online resource (xiii, 408 pages)
Contents
  • 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 Sensor Networks
  • 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
Isbn
9783540766261
Instance
Label
Stabilization, safety, and security of distributed systems : 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings
Title
Stabilization, safety, and security of distributed systems
Title remainder
9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings
Statement of responsibility
Toshimitsu Masuzawa, Sébastien Tixeuil (eds.)
Title variation
SSS 2007
Creator
Contributor
Subject
Genre
Language
eng
Summary
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 3 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 programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems
Member of
Cataloging source
GW5XE
Dewey number
005.8
Illustrations
illustrations
Index
index present
LC call number
QA76.9.S54
LC item number
S77 2007eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
SSS (Symposium)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Masuzawa, Toshimitsu
  • Tixeuil, Sébastien
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
4838
http://library.link/vocab/subjectName
  • Self-stabilization (Computer science)
  • Electronic data processing
  • Computer security
  • Informatique
  • Computer security
  • Electronic data processing
  • Self-stabilization (Computer science)
Label
Stabilization, safety, and security of distributed systems : 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings, Toshimitsu Masuzawa, Sébastien Tixeuil (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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 Sensor Networks -- 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
Control code
191471030
Dimensions
unknown
Extent
1 online resource (xiii, 408 pages)
Form of item
online
Isbn
9783540766261
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-76627-8
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-76626-1
Specific material designation
remote
System control number
(OCoLC)191471030
Label
Stabilization, safety, and security of distributed systems : 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings, Toshimitsu Masuzawa, Sébastien Tixeuil (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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 Sensor Networks -- 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
Control code
191471030
Dimensions
unknown
Extent
1 online resource (xiii, 408 pages)
Form of item
online
Isbn
9783540766261
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-76627-8
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-76626-1
Specific material designation
remote
System control number
(OCoLC)191471030

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...