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

Proceedings of the NATO Advanced Study Institute, 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 This vo1~e contains the papers presented at the NATO Advanced Study Institute of New Advances in Distributed Computer Systems held between 15th and 26th June, 1981 at the Chateau de Bonas, France. The aim of the meeting was to promote an interchange of ideas between experts in the inter1inked fie1ds of communications and computers in order to determine the essential areas for future deve1opment. Its programme was arranged to exp10re a number of current topics inc1uding the pub1ic data-communication networks set up by the PTTs or corresponding bodies in various countries, 1arge-sca1e non-pub1ic systems such as ARPANET and its 1atest deve1opments, international systems such as the air1ines' SITA network, the recent and very important deve10pments in loca1 area networks and relevant deve10pments by universities and other higher educationa1 bodies. The recent moves towards form- isation and the 1aying down of a theoretica1 basis to guide future deve10pments and standards were discussed with particu1ar reference to the International Standards Organisation "7-1ayer model for Open System Interconnection" and the deve10pment of formal mathematica1 methods for specifying and ana1ysing communication systems and their protoco1s. Consideration was also given to the theoretica1 techniques, and their practica1 realisation, now becoming avai1ab1e to ensure privacy and security of information transmitted over digital communication systems. Fina11y the penetration of the concepts of distributed processing into the domain of computer architecture, giving such possibi1ities as array processors and other non-von Neumann architectures formed the subject of severa1 of the sessions