分布系统的稳定性、安全与保密：SSS 2006 /会议录LNCS-4280: Stabilization, safety, and security of distributed systems
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,计算机体系结构,
作者： Ajoy K. Datta 著
出 版 社： 湖南文艺出版社
出版时间： 2006-12-1字数：版次： 1页数： 590印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540490180包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.
内容简介
This book constitutes the refereed proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (formerly Symposium on Self-Stabilizing Systems), SSS 2006, held in Dallas, TX, USA in November 2006.
The 36 revised full papers and 12 revised short papers presented together with the extended abstracts of 2 invited lectures were carefully reviewed and selected from 155 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.
目录
Invited Talks
Stabilization Enabling Technology
A General Characterization of Indulgence
Regular Papers
Coverage, Connectivity, and Fault Tolerance Measures of WirelessSensor Networks
A Case Study on Prototyping Power Management Protocolsfor Sensor Networks
Unconscious Eventual Consistency with Gossips
All k-Bounded Policies Are Equivalent for Self-stabilization
A 1-Strong Self-stabilizing Transformer
Optimal Message-Driven Implementation of Omega with MuteProcesses
Incremental Synthesis of Fault-Tolerant Real-Time Programs
Toward a Time-Optimal Odd Phase Clock Unison in Trees
Recovery Oriented Programming
Evaluation of a Tracking Architecture in Wireless Sensor Networks
Self-protection for Distributed Component-Based Applications
From Self- to Snap- Stabilization
Self-stabilizing Philosophers with Generic Conflicts
Selfish Stabilization
Reliability and Availability Analysis of Self-stabilizing Systems
Circle Formation of Weak Mobile Robots
Self-stabilizing Device Drivers
Secure Communication for RFIDs Proactive Information SecurityWithin Computational Security
Fault Masking in Tri-redundant Systems
Logarithmic Keying of Communication Networks
……
Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks
Brief Announcement
Author Index
