资源描述:
《principles of protocol design》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、PrinciplesofProtocolDesignRobinSharpPrinciplesofProtocolDesignABCRobinSharpTechnicalUniversityofDenmarkInformatics&MathematicalModellingRichardPetersensPladsBldg.3212800KongensLyngbyDenmarkISBN:978-3-540-77540-9e-ISBN:978-3-540-77541-6LibraryofCongressControlNumber:2007943145MathematicsSubje
2、ctClassification(2000):C.2.2,C.2.4©2008Springer-VerlagBerlinHeidelbergThisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,reproductiononmicrofilmorinanyotherwa
3、y,andstorageindatabanks.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.ViolationsareliableforprosecutionundertheGermanCopyrightLaw.Theuseofgeneraldescr
4、iptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelawsandregulationsandthereforefreeforgeneraluse.Coverdesign:K¨unkelLopkaPrintedonacid-freepaper987654321springer.comPrefaceThisbookintr
5、oducesthereadertotheprinciplesusedintheconstructionofalargerangeofmoderndatacommunicationprotocols.Theapproachwetakeisratheraformalone,primarilybasedondescriptionsofprotocolsinthenotationofCSP.Thisnotonlyenablesustodescribeprotocolsinaconcisemanner,butalsotoreasonaboutmanyoftheirinterestingp
6、ropertiesandformallytoprovecertainaspectsoftheircorrectnesswithrespecttoappropriatespecifications.Onlyafterconsideringthemainprinciplesdowegoontoconsideractualprotocolswheretheseprinciplesareexploited.Thisisacompletelyneweditionofabookwhichwasfirstpublishedin1994,wherethemainfocusofmanyinterna
7、tionaleffortstodevelopdatacommunicationsystemswasonOSI–OpenSystemsInterconnection–thestandardisedarchitec-tureforcommunicationsystemsdevelopedwithintheInternationalOrganisationforStandardization,ISO.Intheintervening13years,manyofthespecificprotocols