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