New Advances in Distributed Computer Systems: Proceedings of the NATO Advanced Study Institute held at Bonas,France, June 15–26, 1981

Front Matter....Pages i-x
Introductory Survey....Pages 1-8
Data Communication in Israel — Present and Future....Pages 9-24
Datanet 1 of the Netherlands’ PTT....Pages 25-32
Introduction of Radio-Based Air/Ground Data Links into the SITA Network....Pages 33-44
Presentation of the NADIR Pilot-Project....Pages 45-50
Autoflood — A Flexible Test System for Packet Switched Networks....Pages 51-67
Integrated Non-Voice Services in the Electronic Office....Pages 69-86
Open System Interconnection and the Integrated Services Digital Network....Pages 87-96
Design Issues for High Speed Local Network Protocols....Pages 97-105
Directory Systems for Computer Mail in Internetworking Environments....Pages 107-124
Modeling and Verification of End-to-End Protocols....Pages 125-158
Why Usual Transmission Protocols are not Appropriate for High Speed Satellite Transmission....Pages 159-165
Reser, a Local Area Network Using a Fiber-Optic Ring....Pages 167-179
Sesnet — Local Area Networks for Software Engineering Development....Pages 181-200
The Interconnection of Local Area Networks via a Satellite Network....Pages 201-210
Report on the Local Area Networks FFM-MCS and MICON....Pages 211-221
The Cambridge Ring....Pages 223-237
Distributed System Activities at the Institute of Cybernetics of the University of Milan....Pages 239-243
An Introduction to a Calculus of Communicating Systems....Pages 245-262
Modelling of Distributed Computing Systems....Pages 263-277
Data Security in Distributed Computing Systems....Pages 279-292
The Data Encryption Standard and Its Modes of Use....Pages 293-309
Standardisation and Implementation of Data Encryption....Pages 311-325
Public Key Cryptosystems, Authentication and Signatures....Pages 327-340
Synchronization of Concurrent Processes without Globality Assumptions....Pages 341-365
Parallel Processing Architecture and Parallel Algorithms....Pages 367-377
Parallel Non-Linear Algorithms....Pages 379-393
Microcomputer Networks for Process Control....Pages 395-404
Back Matter....Pages 405-415