下载 >  开发技术 >  其它 > principles of protocol design

principles of protocol design

principles of protocol design
2009-10-13 上传大小:3.58MB
想读
分享
收藏 举报
Principles of Protocol Design

This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols. The approach we take is rather a formal one, primarily based on descriptions of protocols in the notation of CSP. This not only enables us to describe protocols in a concise manner, but also to reason about many of their interesting properties and formally to prove certain aspects of their correctness with respect to appropriate specifications. Only after considering the main principles do we go on to consider actual protocols where these principles are exploited. This is a completely new edition of a book which was first published in 1994, where the main focus of many international efforts to develop data communication systems was on OSI – Open Systems Interconnection – the standardised architecture for communication systems developed within the International Organisation for Standardization, ISO. In the intervening 13 years, many of the specific protocols developed as part of the OSI initiative have fallen into disuse. However, the terms and concepts introduced in the OSI Reference Model are still essential for a systematic and consistent analysis of data communication systems, and OSI terms are therefore used throughout. There are three significant changes in this second edition of the book which particularly reflect recent developments in computer networks and distributed systems. Firstly, the rise of the Internet has led to the development of large numbers of new protocols, particularly in the Application Layer, and a new chapter has been introduced focussing on some of the most important of these. These new protocols typically use new styles of encoding, particularly ASCII encodings such as MIME and XML, and rely on middleware solutions based on a variety of support protocols. Chapters 8 and 10 have therefore been extended to deal with these topics. Finally, there is today much more focus on security issues in networks. Chapter 6, which deals with the general concepts of security, has been heavily revised and brought up to date, while Chapters 8, 9, 10 and 11 now include sections discussing specific technologies such as IPsec, SSL/TLS, and secure protocols for e-mail and webbased applications. The book has arisen from material used for teaching a course on Distributed Systems at the Technical University of Denmark. The exercises at the ends of Chapters 2 to 8 also originate in this course, either as weekly assignments or, in some cases, as examination questions. I hope you find them as interesting—and maybe even as challenging—as my students have done. This text was originally written for third or fourth year students in Computer Science or Electrical Engineering, and is intended to be suitable for most final-year undergraduate or postgraduate courses on advanced data communications or computer networks. The reader is expected to have a software background, in particular including a basic knowledge of functional programming and parallel programming, combined with some knowledge of computer systems architecture and data transmission. Knowledge of formal methods, for example based on languages such as VDM or Z, is not essential, but to get the most out of the book you should know about the sort of discrete mathematics which is used in computer science, and be aware of the basic concepts of mathematical proof. Many people deserve thanks for helping me in the task of preparing this text, and especially for reading and commenting on the various drafts which have seen the light of day. I would particularly like to thank my colleagues Hans-Henrik Løvengreen of this department, Arne Skou of Aalborg University, Klaus Hansen of the University of Copenhagen and Henrik Reif Andersen of the IT University in Copenhagen for their comments on important parts of the text. I also owe a great debt of thanks to my many students, who have been exposed to several provisional versions of this book, a fate which they have borne stoically. Their help in finding errors and pointing out the shakier parts of the presentation, where the arguments were weakest or the explanations most difficult to follow, has been invaluable. Finally, I would like to thank my wife Lisbeth and daughter Melissa for continuing to be so tolerant about having an author in the house. The competition for the PC at home has at times been intense – and they have been really sweet about letting me win. . . . Technical University of Denmark, Robin Sharp October 2007.

立即下载
Operating Systems Internals and Design Principles(8th) 无水印pdf

Operating Systems Internals and Design Principles(8th) 英文无水印pdf 第8版 pdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 本资源转载自网络,如有侵权,请联系上传者或csdn删除

立即下载
Patterns, Principles and Practices of Domain-Driven Design 无水印pdf

Patterns, Principles and Practices of Domain-Driven Design 英文无水印pdf pdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 本资源转载自网络,如有侵权,请联系上传者或csdn删除

立即下载
DIGITAL DESIGN Principles and Practices and Solutions

DIGITAL DESIGN Principles and Practices and Solutions 数电入门经典附习题解析 英文原版

立即下载
Principles of Computer System Design - An Introduction (Part I)

《计算机系统设计原理》是第一本阐述计算机系统设计中的基本原理和抽象的教材,是麻省理工开放式课程计划(MIT Open Courseware)中“计算机系统工程”课程的主教材。计算机系统的基本原理横跨于操作系统、网络、数据库、分布式系统、程序设计语言、软件工程以及计算机体系结构等方面。通过详细分析每个基本原理的案例,《计算机系统设计原理》演示了如何应用这些原理和抽象来解决实际的计算机系统设计问题。

立即下载
Computers as Components.Principles of Embedded Computing System Design.2E

Computers as Components.Principles of Embedded Computing System Design

立即下载
Principles of Computer System Design An Introduction

Review "This is a unique, ambitious, and important book. It is about computer system design principles, and not the usual mechanics of how things work. These principles are typically embedded in research papers (for those of which are to be found at all), and no book I know of makes so many of them explicit and its focal point." -Joe Pasquale, UC San Diego Book Description The first textbook to take a principles-based approach to the computer system design. Product Description This text identifies, examines, and illustrates fundamental concepts in computer system design that are common across operating systems, networks, database systems, distributed systems, programming languages, software engineering, security, fault tolerance, and architecture. Through carefully analyzed case studies from each of these disciplines, it demonstrates how to apply these concepts to tackle practical system design problems. To support the focus on design, the text identifies and explains abstractions that have proven successful in practice such as, remote procedure call, client/service organization, file systems, data integrity, consistency, and authenticated messages. Most computer systems are built using a handful of such abstractions. The text describes how these abstractions are implemented, demonstrates how they are used in different systems, and prepares the reader to apply them in future designs.

立即下载
《Magnetic Resonance Imaging - Physical Principles and Sequence Design》

磁共振成像经典教材

立即下载
Operating Systems Internals and Design Principles (9th EditionGlobal Edition)

Operating Systems Internals and Design Principles (9th EditionGlobal Edition)

立即下载
Principles of Computer System Design第一券

不想成为架构师的程序员不是一个好的码农,MIT架构入门书籍,架构入门必备。

立即下载
Concurrent Programming in Java Design Principles and Pattern.pdf

Concurrent Programming in Java Design Principles and Pattern.pdf,Second Edition

立即下载
universal principles of design.pdf (设计的法则 英文版).(美).威廉·立德威尔

非扫描版,绝对清晰! 强烈推荐的一本书,中文名是设计的法则,看上几页你就会对它肃然起敬! 对设计思想的培养十分有用,我认为这是设计界的圣经! 英文原版意思更加准确!

立即下载
Patterns, Principles And Practices Of Domain-driven Design

Patterns, Principles And Practices Of Domain-driven Design

立即下载
Cryptography_Engineering--Design_Principles_and_Practical_Applications

Knowing how a camera works does not make you a great photographer. Knowing what cryptographic designs are and how existing cryptographic protocols work does not give you proficiency in using cryptography. You must learn to think like a cryptographer. That is what this book will teach you. Dive deeply into specific, concrete cryptographic protocols and learn why certain decisions were made. Recognize the challenges and how to overcome them. With this book, which is suitable for both classroom and self-study, you will learn to use cryptography effectively in real-world systems.

立即下载
ComputedTomography:Principles,Design,Artifacts,andRecentAdvances(2nd,2009

ComputedTomography:Principles,Design,Artifacts,andRecentAdvances(2nd,2009,真正的清楚第二版PDF,与第一版相比多了很多。搞CT的建议学习。

立即下载
VLSI Test Principles and Architectures

DFT领域一本不错的参考书。中国人写的英文书。

立即下载
中文版-数字设计原理与实践(第三版)(2/2压缩包)(Digital Design Principles and Practices)

数字设计原理与实践(第三版) [机械工业出版社].Digital Design Principles and Practices,3rd【John F. Wakerly】【Prentice Hall 1999】pdf 中文版

立即下载
Principles of VLSI RTL Design A Practical Guide

数字集成电路前端逻辑开发必读教程,RTL代码设计规则

立即下载
Operating Systems: Internals and Design Principles (8th Edition)

Operating Systems: Internals and Design Principles (8th Edition)

立即下载
SitePoint.The.Principles.of.Beautiful.Web.Design.Jan.2007.pdf

书名:The Principles of Beautiful Web Design 作者:Jason Beaird 出版:SitePoint 2007 ISBN:0975841963 格式:PDF;6.67MB;180页

立即下载
关闭
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

principles of protocol design

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: