Table Of Contents

  
  
  
1.    
1.1    
1.2    
1.3    
1.4    
1.5    
2.    
2.1    
2.2    
2.3    
2.4    
2.5    
2.6    
2.7    
2.8    
2.9    
2.10    
2.11    
2.12    
3.    
3.1    
3.2    
3.3    
3.4    
3.5    
3.6    
3.7    
3.8    
3.9    
3.10    
4.    
4.1    
4.2    
4.3    
4.4    
4.5    
4.6    
4.7    
5.    
5.1    
5.2    
5.3    
5.4    
5.5    
  
6.    
6.1    
6.2    
6.3    
6.4    
6.5    
6.6    
7.    
7.1    
7.2    
7.3    
7.4    
7.5    
7.6    
7.7    
7.8    
7.9    
7.10    
8.    
8.1    
8.2    
8.3    
8.4    
8.5    
8.6    
8.7    
9.    
9.1    
9.2    
9.3    
9.4    
9.5    
10.    
10.1    
10.2    
10.3    
10.4    
  
11.    
11.1    
11.2    
11.3    
11.4    
12.    
12.1    
12.2    
12.3    
12.4    
12.5    
12.6    
12.7    
12.8    
12.9    
12.10    
13.    
13.1    
13.2    
13.3    
13.4    
13.5    
13.6    
13.7    
13.8    
13.9    
13.10    
13.11    
13.12    
14.    
14.1    
14.2    
14.3    
14.4    
14.5    
14.6    
14.7    
15.    
15.1    
15.2    
15.3    
  
16.    
16.1    
16.2    
16.3    
16.4    
16.5    
17.    
17.1    
17.2    
17.3    
17.4    
17.5    
17.6    
17.7    
17.8    
17.9    
17.10    
17.11    
17.12    
18.    
18.1    
18.2    
18.3    
18.4    
18.5    
18.6    
18.7    
18.8    
18.9    
18.10    
18.11    
18.12    
19.    
19.1    
19.2    
19.3    
19.4    
19.5    
19.6    
19.7    
20.    
20.1    
20.2    
20.3    
  
21.    
21.1    
21.2    
21.3    
21.4    
22.    
22.1    
22.2    
22.3    
22.4    
22.5    
22.6    
22.7    
22.8    
22.9    
23.    
23.1    
23.2    
23.3    
23.4    
23.5    
23.6    
23.7    
23.8    
23.9    
23.10    
23.11    
24.    
24.1    
24.2    
24.3    
24.4    
24.5    
24.6    
24.7    
24.8    
25.    
25.1    
25.2    
  
  
Preface    
Foreword    
Part I Distribution    
DISTRIBUTED SYSTEMS FOUNDATIONS    
A Definition of Distributed Systems  
Services of Distributed Systems  
Distributed System Architectures  
Formal Notions  
Summary and Further Reading  
DISTRIBUTED SYSTEM PARADIGMS  
Naming and Addressing  
Message Passing  
Remote Operations  
Group Communication  
Time and Clocks  
Synchrony  
Ordering  
Coordination  
Consistency  
Concurrency  
Atomicity  
Summary and Further Reading  
MODELS OF DISTRIBUTED COMPUTING  
Distributed Systems Frameworks  
Strategies for Distributed Systems  
Asynchronous Models  
Synchronous Models  
Classes of Distributed Activities  
Client-Server with RPC  
Group-Oriented  
Distributed Shared Memory  
Message Buses  
Summary and Further Reading  
DISTRIBUTED SYSTEMS AND PLATFORMS  
Name and Directory Services  
Distributed File Systems  
Distributed Computing Environment (DCE)  
Object-Oriented Environments (CORBA)  
World-Wide Web  
Groupware Systems  
Summary and Further Reading  
CASE STUDY: VP'63  
Introduction  
Initial System and First Steps  
Distributed Computing Approaches  
Distribution of Data Repositories  
Distributed File System Access  
Part II Fault Tolerance   
FAULT-TOLERANT SYSTEMS FOUNDATIONS  
A Definition of Dependability  
Fault-Tolerant Computing  
Distributed Fault Tolerance  
Fault-Tolerant Networks  
Fault-Tolerant Architectures  
Summary and Further Reading  
PARADIGMS FOR DISTRIBUTED FAULT TOLERANCE  
Failure Detection  
Fault-tolerant Consensus  
Uniformity  
Membership  
Fault-Tolerant Communication  
Replication Management in Partition-free Networks  
Replication Management in Partitionable Networks  
Resilience  
Recovery  
Summary and Further Reading  
MODELS OF DISTRIBUTED FAULT-TOLERANT COMPUTING  
Classes of Failure Semantics  
Basic Fault tolerance Frameworks  
Fault Tolerance Strategies  
Fault-Tolerant Remote Operations  
Fault-Tolerant Event Services  
Transactions  
Summary and Further Reading  
DEPENDABLE SYSTEMS AND PLATFORMS  
Distributed Fault-Tolerant Systems  
Transactional Systems  
Cluster architectures  
Making Legacy Systems Dependable  
Summary and Further Reading  
CASE STUDY: VP'63  
First Steps Towards Fault Tolerance  
Fault-Tolerant Client-Server Database  
Fault-Tolerant Data Dissemination  
Fault Tolerance of Local Servers   
Part III Real-Time   
REAL-TIME SYSTEMS FOUNDATIONS  
A Definition of Real-Time  
Real-Time Networks  
Distributed Real-Time Architectures  
Summary and Further Reading  
PARADIGMS FOR REAL-TIME   
Temporal Specifications   
Timing Failure Detection  
Entities and Representatives  
Time-Value Duality  
Real-Time Communication  
Flow Control   
Scheduling  
Clock Synchronization   
Input/Output   
Summary and Further Reading  
MODELS OF DISTRIBUTED REAL-TIME COMPUTING  
Classes of Timeliness Guarantees  
Real-Time Frameworks   
Strategies for Real-Time Operation   
Synchronism Models Revisited   
A Generic Real-Time System Model   
The Event-Triggered Approach   
The Time-Triggered Approach   
Real-Time Communication Models   
Real-Time Control   
Real-Time Databases   
Quality-of-Service Models   
Summary and Further Reading   
DISTRIBUTED REAL-TIME SYSTEMS AND PLATFORMS   
Operating Systems   
Real-Time LANs and Field Buses   
Time Services   
Embedded Systems   
Dynamic Systems   
Real-Time over the Internet   
Summary and Further Reading   
CASE STUDY: VP'63   
First Steps Towards Control and Automation   
Distributed Shop-Floor Control   
Integration of the Industrial System   
Part IV Security   
FUNDAMENTAL SECURITY CONCEPTS   
A Definition of Security   
What Motivates the Intruder   
Secure Networks   
Secure Distributed Architectures   
Summary and Further Reading   
SECURITY PARADIGMS   
Trusted Computing Base   
Basic Cryptography   
Symmetric Cryptography   
Asymmetric Cryptography  
Secure Hashes and Message Digests  
Digital Signature  
Digital Cash   
Other Cryptographic Algorithms and Paradigms  
Authentication  
Access Contro   
Secure Communication   
Summary and Further Reading   
MODELS OF DISTRIBUTED SECURE COMPUTING  
Classes of Attacks and Intrusions   
Security Frameworks   
Strategies for Secure Operation   
Using Cryptographic Protocols   
Authentication Models  
Key Distribution Approaches   
Protection Models   
Architectural Protection: Topology and Firewalls   
Formal Security Models  
Secure Communication and Distributed Processing  
Electronic Transaction Models  
Summary and Further Reading  
SECURE SYSTEMS AND PLATFORMS  
Remote Operations and Messaging   
Intranets and Firewall Systems   
Extranets and Virtual Private Networks  
Authentication and Authorization Services   
Secure Electronic Commerce and Payment Systems   
Managing Security on the Internet   
Summary and Further Reading   
CASE STUDY: VP'63   
First Steps Towards Security   
Global Security: Extranet and VPN   
Local Security: Intranet and Facility Gateway   
Part V Management   
FUNDAMENTAL CONCEPTS OF MANAGEMENT   
A Definition of Management   
Systems Management Architectures   
Configuration of Distributed Systems   
Summary and Further Reading   
PARADIGMS FOR DISTRIBUTED SYSTEMS MANAGEMENT   
Managers and Managed Objects   
Domains   
Management Information Base   
Management Functions   
Configuration Management   
Performance and QoS Management   
Name and Directory Management   
Monitoring   
Summary and Further Reading   
MODELS OF NETWORKAND DISTRIBUTED SYSTEMS MANAGEMENT   
Management Frameworks   
Strategies for Distributed Systems Management   
A Generic Management Model   
Centralized Management Model   
Integrated Management Model   
Decentralized Management Model   
OSI Management Model   
ODP Management Model  
Monitoring Model   
Domains Model   
Summary and Further Reading   
MANAGEMENT SYSTEMS AND PLATFORMS   
CMISE/CMIP: ISO Management   
SNMP: Internet Management   
Standard MIBs   
Management and Configuration Tools   
Management Platforms   
DME: Distributed Management Environment   
Managing Security on the Internet   
Summary and Further Reading   
CASE STUDY: VP'63   
Establishing Management Strategies and Policies   
Towards Integrated Management   
References  
Index  
xiii  
xxi  
  
3  
3  
10  
11  
17  
20  
21  
21  
26  
28  
31  
35  
43  
49  
60  
70  
81  
85  
87  
89  
89  
97  
101  
103  
104  
108  
115  
123  
129  
131  
133  
133  
139  
146  
148  
151  
154  
155  
159  
159  
160  
161  
163  
166  
  
171  
171  
180  
186  
187  
189  
192  
193  
193  
201  
203  
204  
207  
216  
219  
222  
225  
233  
235  
235  
238  
241  
245  
249  
250  
258  
259  
259  
265  
266  
267  
269  
271  
271  
272  
273  
274  
  
277  
277  
283  
285  
287  
289  
289  
295  
296  
298  
300  
302  
302  
309  
317  
320  
321  
321  
323  
325  
328  
330  
331  
334  
337  
341  
348  
350  
353  
355  
355  
357  
359  
361  
363  
365  
366  
369  
369  
370  
371  
  
377  
377  
387  
388  
390  
393  
395  
395  
396  
398  
401  
403  
404  
410  
415  
417  
421  
425  
426  
427  
427  
433  
436  
445  
451  
457  
462  
464  
472  
474  
481  
485  
487  
487  
495  
497  
500  
502  
509  
509  
511  
511  
513  
513  
  
519  
519  
524  
528  
529  
531  
531  
533  
534  
535  
536  
538  
539  
539  
540  
541  
541  
543  
544  
547  
548  
549  
550  
552  
553  
554  
555  
557  
557  
559  
560  
562  
569  
572  
573  
576  
581  
581  
582  
585  
611  
  
Make Distributed Systems For System Architects your HomePage
Web Site hosted by: The Navigators  of  LaSIGE  at Faculdade de Ciências of Universidade de Lisboa
© 2001 by Kluwer Academic Publishers and Paulo Veríssimo and Luís Rodrigues