简介：Thispaperelaboratestheconceptandmodelofprotocolmigrationinnetworkinterconnection.Migrationstrategiesandprinciplesarediscussedandseveralcasesarestudiedindetailwhichshowthebasicprocedureandtechniquesusedinprotocolmigration.

简介：

简介：

简介：

简介：ThispaperproposesaformalapproachtoprotocolperformancetestingbasedontheextendedconcurrentTTCN,Tomeettheneedsofprotocolperformancetesting,concurrentTTCNisextended,andtheextendedconcurrentTTCN'soperationalsemanticsisdefinedintermsofInput-OutputLabeledTransitionSystem.Anarchitecturedesignofprotocolperformancetestsystemisdescribed,andanexampleoftestcasesanditstestresultaregiven.

简介：

简介：Averyinexpensiverecive-onlysatellitereceiverhighbandwidthtrafficfromafeeder.Thereforetheconnectionbetweenthefeederandthereceiverisuni-directional.Theexistingroutingprotocols,suchasLink-StateandDistance-Vector,aredesignedonthepremisethatanylinksarebidirectionalandtheycannothandletheuni-directionallinks.Inthispaper,adynamicmulticastroutingprotocolisproposed,whichcanhandleuni-directionalnetworks,Thisprotocolcanalsoadapttothedynamicchangeofthetopolgoyofthenetworkandhasgoodscalability.AformaldescriptionoftheprotocolbyPetrinetisgiven.Liveness,deadlockfreeandotherpropertiesoftheprotocolarepreoved.

简介：Militarytacticalnetworkisoneofthemostimportantapplicationsofadhocnetwork.Currentlytheexistingroutingprotocolsareputforwardbasedonthesimpleanduniversalnetworkmodelwhichhastheabilityofmulti-hoproutingbutcannotworkefficientlyinthespecialmilitaryapplications.Thenarrowbandwidthandlimitedenergyofthewirelessnetworkmakegeneralroutingprotocolsseemtobemoreredundant.Inordertosatisfymilitaryneedsproperly,thislettermakesadetailedanalysisofphysicalnodesandtrafficdistributioninmilitarynetwork,usescross-layerdesignconceptforreference,combinestrafficcharacteristicofapplicationlayerwithroutingprotocoldesign.Itcategorizedroutingproblemascrucialroutesandnon-crucialrouteswhichadoptedseparatemaintenancemethods.Itnotonlyrealizesbasictransmissionfunctionbutalsoworksefficiently.Itisquitefitformilitaryapplication.

简介：Thetrendofresearchinggroupradiofrequencyidentificationdevices(RFID)authenticationprotocolhasbecomeincreasinglypopularinrecentyears.OneofthenewestworkinthisareaisfromBatinaandLee,theypresentedaprivacy-preservingmulti-playersgrouping-proofprotocolbasedontheellipticcurvecryptography(ECC),andclaimedtheirprotocolhavetheabilitytoresistfivepotentialattacks,includingcompromisedtagattack,man-in-the-middleattack,colludingtagsattack,etc.Inthispaper,wefirsttakeacounterexampletodemonstratetheirprotocolisvulnerabletocompromisedtagattack.ThenweproposeanovelsecureRFIDauthenticationprotocol,andanalyzeitssecuritybymergingformalanalysis,provablesecurity,andmathematicalinductivemethod,soastosolvetheweaknessofBatinaandLee'swork.Furthermore,comparedwithanothertwoclassicprotocols(secureownershiptransferprotocol(SOTP)andsecuremultiplegroupownershiptransferprotocol(SMGOTP)),theperformanceanalysisshowthatourprotocolprovidesnotonlyalowertags'communicationcostatabout50.0%and14.3%,butalsoalowerreader'scomputationcost(approximate14.5%and55.1%respectively),whentransferringalargenumberoftags.

简介：Asanimportantcomponentofinternetofthings,electronicproductcode(EPC)systemiswidelyusedinmanyareas.However,themassdeploymentofEPCsystemisfrequentlydegradedbysecurityandprivacyproblems.Therefore,themajorresearchesfocusonthedesignofasecureEPCsystemwithhighefficiency.ThispaperdiscussesthesecurityrequirementsofEPCsystemandpresentsauniversalcomposable(UC)modelforEPCsystem,theidealfunctionalityofEPCsystemisalsoformallydefinedwiththeUCframework.ThenasecureprotocolforEPCsystemunderUCframeworkisproposedandtheanalysisofsecurityandperformanceoftheproposedprotocolisgiven,incomparisonwithotherprotocols,theresultsshowthattheproposedprotocolisUCsecureandcanprovideprivacyprotection,untraceability,authorizedaccess,anonymityandconcurrentsecurityforEPCsystem.Furthermore,lesscomputationandstorageresourcearerequiredbytheproposedprotocol.

简介：ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...

简介：

简介：这份报纸在使隧道褪色的伪静电干扰rayleigh上为合作传播基于空间调整论述一个新奇增长中继协议，也就是空间的调整增长中继(SMIR)，它使用空间调整的概念进增长中继。在建议协议，信息位被印射进带单位的二个信息：1)在星座图的一个星座点并且2)空间领域，即进一个特别合作用户数字的地点。为SMIR协议的框架错误率(FER)的分析表示被导出。模拟结果证实介绍数学分析并且证明那个SMIR协议分别地为3-bit/symbol和5-bit/symbol传播在常规协议上在信号获得2和3dB到噪音比率(SNR)。而且，在这个协议下面，系统能完成高得多的产量，它意味着我们的建议协议在性能带重要获得。

简介：

简介：随着Internet和Web的迅速发展，人们迫切需要适合于Internet和Web环境下的分布式计算技术。原有的分布式计算技术虽然在各个领域得到了广泛的应用，但是在Web环境下却难有更大的作为。因为Internet和Web环境是极其分布的、分散化的、Internet上各个程序之间、机器之间或组织之间的通讯双方都面临达成应用层传输协议的挑战。XMLProtocol就是为了开发一种允许两方或更多方在分布式环境中进行通讯的技术，并用XML作为其封装语言。相关技术主要包括SOAP、WSDL和UDDI。

简介：Opportunisticnetworksarederivedfromdelaytolerantnetworks,wheremobilenodeshavenoend-to-endconnections.Nodesarerepresentedbypeople,whichmeansthatopportunisticnetworkscanberegardedassocialnetworks.Humanmobilityplaysanimportantroleinaffectingtheperformanceofforwardingprotocolsinsocialnetworks,furthermore,thetrajectoryofpeople'smovementsaredrivenbysocialcharacteristics.However,currentroutingprotocolsrelyonsimplemobilitymodels,andrarelyconsidersocialcharacteristics.Consideringtwoheterogeneousnetworkmodels,ansocialopportunisticnetworksrouting(SONR)wasproposedwhichbringsanadapteddiscreteMarkovchainintonodes'mobilitymodelandcalculatesthetransitionprobabilitybetweensuccessivestatus.ComparisonwasmadebetweenSpray,WaitandEpidemicprotocol.SimulationshowthatSONRcanimproveperformanceondeliveryratio,deliverylatencyandnetworkoverhead,meanwhile.SONRapproachestheperformanceofEpidemicrouting.

简介：

简介：

简介：Atomicityisnecessaryforreliableandsecureelectroniccommercetransactionandtoguaranteetheparticipants'interests.Anatomicandefficiente-cash(electroniccash)transactionprotocolbasedontheclassicale-cashschemeispresented.Thedeliveryofdigitalgoodsisincorporatedintotheprocessofpaymentintheprotocol.Apartfromensuringallthreelevelsofatomicity,thenovelprotocolfeatureshighefficiencyandpracticabilitywithunfavorablestrongassumptionremoved.Furthermore,theproposedprotocolprovidesnon-repudiationproofsforanyfuturedisputes.Atlast,analysisoftheatomicityandefficiencyisillustrated.

简介：