Computer networking : proceedings of the IFIP TC 6 Conference on Computer Networking, COMNET '90, Budapest, Hungary, 8-10 May, 1990

목차 (Table of Contents)

• CONTENTS
• PLENARY PRESENTATIONS
• Formal Specifications of Protocols : Issues and Experiences / G.v. BOCHMANN ; L. LOGRIPPO ; B. SARIKAYA = 3
• High Speed Local Area Networks-What, Why, When and How : Planning, Installation and First Experiences of a HSLAN in a Heterogeneous Environment / O. SPANIOL = 23
• Telecommunication Standardization in Western Europe / H. GABLER = 33
• Commercial Development of OSI Management / K. W. KAPPEL = 47
• LANs, MANs and ISDN
• A Concept Becomes Reality : First Experiences with Commercial ISDN Services / P. SCHNEIDER = 61
• A Routing Scheme for a Non-Strict Hierarchical Networking Environment / S. BAHK ; M. EL ZARKI = 73
• ARQ Error Control for Multipoint Satellite Communication / S. JACOBS ; U. QUERNHEIM = 83
• An Approximate Analysis of Multi-Hop S-Aloha Networks with or without Immediate Acknowledgements / J. WOZNIAK = 93
• Towards High Speed Networking in Local and Metropolitan Areas / P. MARTINI = 103
• Bandwidth Allocation and Flow Control in ATM Networks / J. FILIPIAK = 115
• Performance Evaluation of Token Passing Bus LANs / G. PAPP, J. HARANGOZO = 125
• A Survey of Fault-Tolerant LANs / W. MOLISZ = 135
• Error Statistics in Data Networks / J. PRIBYL, I. VAJDA = 145
• MESSAGE HANDL ING SYSTEM AND DIRECTORIES
• Standards for Message Handling and their Impact / W. TIETZ = 157
• Extensions and Evaluation of Method for MHS Interwork / Y. SAITO ; M. TERAMOTO ; K. UEGAKI = 177
• Approaches to the MHS Message Store Structures / V.SABEV ; F.FOERSTERLING, N.KLEHN = 187
• A Simple Multi-Purpose Internet Directory / N. MEULEMANS = 197
• Directory Names and Schema-An Evaluation / K. JAKOBS = 209
• Using Directory Services in Mobile Communication / K. JAKOBS ; F. REICHERT = 219
• MANAGEMENT AND MONITORING OF NETWORKS
• A Traffic Generating and Monitoring Technique for Standard and Integrated Voice/Data Ethernet LANs / GY. CSOPAKI ; T. MOLNAR ; CS. SZABO ; L. SZANDI = 231
• Network Management in a Heterogeneous Computer Centre / D. GOLLNICK ; H. LAMPRECHT = 239
• An Experimental OSI Network Management Implementation for a PC Network / K. GARBE = 251
• PROTOCOL SPECIFICATION AND VERIFICATION
• Protocol Validation Using Process Algebraic Recursive Equations / J. DE MEER ; R. AHOOJA = 261
• A Sythetic Localized Approach to Protocol Validation / K. SALEH ; R. PROBERT = 273
• Liveness Verification as a Tool for Protocol Validation / L.ZS. VARGA = 285
• Experience in Using Estelle for the Specification and Verification of a Fieldbus Protocol : FIP / M.L. BARRETTO ; J.-P. COURTIAT ; P. DE SAQUI-SANNES = 295
• A Novel Approach for Deriving a Test Suite / A.K. SDAA = 305
• PROTOCOL IMPLEMENTATION AND TESTING
• Experience with the Astride Testing Approach / O. RAFIQ ; R. CASTANET = 317
• Experience in Conformance Testing with the Test System Tekos / U. BUHRANDT ; V. HEYMER ; J. HINKELMANN ; P. TOLLKUEHN = 327
• Protocol Software Engineering Tools for Implementation of a General Purpose OSI Stack / A.P. AHTIAINEN ; J. KESKINEN ; J. SIMOLIN ; K. TARPILA ; I. TURUNEN = 337
• The Pre-Implementation and Verification of LOTOS / E. NAJM ; J. QUEIROZ ; A. SERHROUCHNI = 353
• Functional and Performance Prototyping Concepts Based on SDL / D. CARL = 371
• Experience in Computer-Aided Protocol Implementation / H. KOENIG = 385
• Network LOPOS-Performance Analysis / J. PISTELAK, M. SAREK = 395
• KNOWLEDGE BASED SYSTEMS IN COMPUTER COMMUNICATION
• Meta-Management of Communications Networks / B. MEANDZIJA ; W.P.-C. HO = 405
• Distributed/Cooperative Office / L. CSABA ; E. CSUHAJ-VARJU = 417
• Frames for Protocol Representation / K. TARNAY ; S. WAGNER-DIBUZ ; P.A. WAGNER = 427
• DATA PROTECTION AND SECURITY
• Computer Networks, Privacy Protection and Security / H.P. GASSMANN = 445
• Issues in Computing Security and Telecommunications Network Integrity / J. FREESE = 451
• Aspects of Security, Integrity and Privacy in the Telecommunication Network / O. AMBROIS = 459
• MAJOR CORPORATIONS IN NETWORKING
• SNA Usability Enhancements for the 90's / L.M. RAFALOW = 471
• Foundation for Future Networking / D.A. TWYVER = 481
• Fifth Generation Private Wide Area Networking / V.H.C.M. EVERS = 493
• AUTHOR INDEX = 503
• LIST OF REVIEWERS = 507