当前在计算机领域的大量开发活动通信体系结构和协议反映在提交给研讨会的大量论文中。开幕式小组讨论会补充了十一篇推荐论文,另外三篇小组讨论会涉及网络体系结构的现状和协议实施经验。这是一次国际研讨会,约有三分之一的论文来自美国以外,与SIGCOMM成员的比例大致相同。 p>
与该研讨会一起,正在介绍两个教程,Richard desJardins调查开放系统互连的国际标准。 David Clark回顾了协议实现的实际考虑。 p>
ACM SIGCOMM '83研讨会为介绍和讨论最新的数据通信网络体系结构和协议提供了一个论坛。与开发协议系统和网络的整个生命周期有关的所有工作,无论是理论上的还是实践上的,都是本次研讨会的兴趣所在:理论,系统分析,体系结构,设计,实现,标准化等。开幕面板的标题:使协议生效。我们很幸运在开幕小组中有三位专家,他们将讨论使协议在现实世界中发挥作用的问题。他们是:MCI Communications Corporation的Vinton Cerf,法国CNET的Louis Pouzin和Xerox Corporation的John Shoch。他们都在运营网络和通信协议的设计和实施方面拥有丰富的经验和个人参与。他们将以独特的视角谈论部署实际网络和协议时遇到的许多困难,不仅涉及技术问题,还涉及标准化问题,市场各个部门的用户需求等。 p>
在开幕小组之后,座谈会分为两个平行会议,一个主要涉及设计和实施问题,另一个主要涉及验证和性能分析问题。 p>
在实践方面,该座谈会的技术该计划非常重视实施经验。这是会议3A和会议4A中小组讨论的主要关注点。会议6A专门讨论特定网络的开发和实施经验,这是由美国国家科学基金会赞助的计算机科学研究网络项目(CSNET)。其他有关实际问题的会议包括一个关于协议体系结构和相关标准化活动的当前发展状态的小组会议(会议2A)。会话8A中讨论了Internet工作和协议兼容性问题。会议7A与网络操作系统设计中的问题有关。会议5A中提出了一些有关网络体系结构和算法的新思想。 p>
从理论上讲,这些会议可以分为两类。第一类包括有关分析模型和方法的会议以及评估各种协议功能的新策略和算法性能的实证研究(关于网络路由分析的会议2B,关于性能研究的会议6B,关于本地网络访问协议的会议713) ,以及关于协议排队模型的会议8B)。第二类涉及协议系统规范和验证的形式化模型和技术。这种协议系统的逻辑正确性是令人关注的。此类别包括有关协议验证方法的会议3B和4B。关于协议的规范,测试和性能分析的会议5B与可以使用分层模型指定的协议的性能和逻辑行为有关。
University of Texas at Austin, Austin, TX;
SIMON S. LAM received the BSEE degree, with distinction, from Washington State University in 1969, and the M.S. and Ph.D. degrees in engineering from the University of California at Los Angeles in 1970 and 1974, respectively. From 1971 to 1974, he was a postgraduate research engineer at the ARPA Network Measurement Center (UCLA). From 1974 to 1977, he was a research staff member at the IBM T.J. Watson Research Center, Yorktown Heights, New York. Since 1977, he has been on the faculty of the University of Texas at Austin, where he is a Professor of Computer Sciences. He holds two anonymously endowed professorships, and served as department chair from 1992 to 1994. His research interests are in network protocol design, performance analysis, formal ve;
机译:传输层的连接管理:服务规范和协议验证
机译:定时安全协议的正式规范和验证框架
机译:博弈论框架,用于规范和验证密码协议
机译:具有ARM连接管理和全双工数据传输的HDLC协议的规范和验证
机译:有限状态机器的演员协议规范和验证
机译:通过连接全国冒号癌登记和分层努力提高结肠癌的临床管理(连接II试验):单一臂干预研究的理由和议定书
机译:HDLC协议规范及其使用映像协议的验证
机译:连接建立协议的形式规范和验证