搜索
大连理工大学硕士学位论文基于角色和任务的网格安全需求分析模型姓名：赵辉申请学位级别：硕士专业：软件工程指导教师：李明楚20061217基于角色和任务的网格安全需求分析模型作者：赵辉学位授予单位：大连理工大学参考文献(54条)1.WhitfieldDiffie.PaulC.vanOorschot.MichaelJ.WienerAuthenticationandAuthenticat-edKeyExchanges1992(02)2.MBellare.PRogawayEntityAuthenticationandkeydistribution19943.PaulFSyverson.PaulC.vanOorschotOnUnifyingSomeCryptographicProtocolLogics19944.WooT.LamSAsemanticmodelforauthenticationprotocols19935.SyversonP.MeadowsCAlogicallanguageforspecifyingcryptographicprotocolrequirements19936.FrankSiebenlistGridsecurity:requirements,plansandongoingefforts20037.FosterI.KesselmanCTheAnatomyoftheGrid:EnablingScalableVirtualOrganizations2001(03)8.FosterI.KesselmanCTheGrid:BlueprintforaNewComputingInfrastructure19989.FosterI.BerryD.DjaoutATheOpenGridServicesArchitectureVersionl.O200410.TueckeS.CzajkowskiK.FosterIGridServiceSpecification200211.WS-ResourceFramework12.查看详情13.ButlerR.EngertD.FosterIANational-ScaleAuthenticationInfrastructure2000(12)14.FosterI.KesselmanC.TsudikGASecurityArchitectureforComputationalGrids199815.GlobusSecurityPolicyandImplementation199716.PearlmanL.WelchV.FosterIACommunityAuthorizationService:StatusandFuture200317.PearlmanL.WelchV.FosterIACommunityAuthorizationServiceforGroupCollaboratio-n200218.DolevD.YaoAOnthesecurityofpublickeyprotocols1983(02)19.BurrowsM.AbadiM.NeedhamRAlogicofauthentication1989(02)20.GongL.NeedhamR.YahalomRReasoningaboutbeliefincryptographicprotocols199021.AbadiM.TuttleMRAsemanticsforalogicofauthentication199122.vanOorschotPCExtendingcryptographiclogicsofbelieftokeyagreementprotocols199323.SyversonPF.vanOorschotPCOnunifyingsomecryptographicprotocollogics199424.BieberPALogicofCommunicationinaHostileEnvironment199025.SyversonPFormalsemanticsforlogicsofcryptographicprotocols199026.RanganPVAnaxiomaticbasisoftrustindistributedsystems198827.MoserLAlogicofknowledgeandbeliefforreasoningaboutcomputersecurity198928.YahalomR.KleinB.BethTTrustrelationshipsinsecuresystems:Adistributedauthenticationperspective199329.KesslerV.WedelGAUTOLOG-Anadvancedlogicofauthentication199430.MeadowsCTheNRLprotocolanalyzer:Anoverview1996(02)31.CervesatoI.DurginN.LincolnP.MitchellJAmeta-notationforprotocolanalysis199932.MillenJTheInterrogatormodel199533.KemmererR.MeadowsC.MillenJThreesystemsforcryptographicprotocolanalysis1994(02)34.PaulsonLCMechanizedproofsforarecursiveauthenticationprotoc01199735.PaulsonLCTheinductiveapproachtoverifyingcryptographicprotocols1998(06)36.AbadiM.GordonADAcalculusforcryptographicprotocols:Thespicalculus199737.ThayerFJ.HerzogJC.GuttmanJDStrandspaces:Whyisasecurityprotocolcorrect?199838.ThayerFJ.Herzogjc.Guttman5DStrandspaces:Provingsecurityprotocolscorrect1999(2-3)39.ThayerFJ.HerzogJc.GuttmanJDStrandspaces:Honestidealsonstrandspaces199840.SchneiderSVerifyingauthenticationprotocolswithCSP199741.SongDAthena:Anewefficientautomaticcheckerforsecurityprotocolanalysis199942.郁志辉.陈渝.刘鹏网格计算200243.XuFeng.XieLiService-OrientedRole-BasedAccessControl2004(04)44.WhitfieldDiffie.PaulC.vanOorschot.MichaelJ.WienerAuthenticationandAuthenticatedKeyExchanges1992(02)45.SyversonP.MeadowsCAlogicallanguageforspecifyingcryptographicprotocolrequirements199346.卿斯汉安全协议20年研究进展[期刊论文]-软件学报2003(10)47.SandhuR.ConyneEJ.LfeinsteinHLRolebasedaccesscontrolmodels1996(02)48.FerraioloDF.SandhuR.GuirilaS.KuhnD.R,ChandramouliRProposedNISTstandardforrole-basedaccesscontrol2001(03)49.AZiegerGridsecurity:stateoftheart200350.TMyerGridwatch:GGFandgridsecurityvol200451.FrankSiebenlist.FosterISecurityforGridServices200352.SSLv3.0specification53.DolevD.YaoAOnthesecurityofpublickeyprotocols1983(02)54.WMarrero.EdClarke.SomeshJhaVerifyingsecurityprotocolswithBrutus2000(04)相似文献(10条)1.期刊论文李晶.雷咏梅.LiJing.LeiYongmei基于网格的3DMonteCarlo算法及协同计算研究-计算机应用与软件2006,23(5)MonteCarlo算法在高分子研究领域占有相当重要的地位.本文在网格环境下实现了三维格点MonteCarlo算法在高分子链领域中的一个应用实例的并行研究了网格环境下的3D的MC算法协同计算,并且实现了该算法的协同演示.2.期刊论文赵辉.李明楚.ZHAOHui.LIMing-chu基于虚拟组织的网格安全需求分析模型-计算机工程2008,34(24)网格环境下多用户参与的协同计算是网格计算的重要应用方向.网格计算的复杂性导致网格安全需求复杂.该文提出一种基于虚拟组织的网格计算多用户协同关系描述模型,在其基础上构建网格安全需求分析模型,实现了网格环境下多用户协同计算的安全需求形式化描述,把网格协同计算环境下的不同安全需求统一在同一种理论体系中.3.期刊论文赵辉.李明楚.王智慧.ZHAOHui.LIMing-chu.WANGZhi-hui一种基于虚拟组织的网格安全协议形式化验证方法-计算机工程与应用2007,43(24)虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础.对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂.通过引入网格计算信道的概念,在传统StrandSpace理论的基础上提出了一种基于虚拟组织的网格安全协议形式化验证方法,实现了网格环境下多用户协同计算安全协议的分析与证明.4.期刊论文那丽春.刘念祖.徐伦彦.俞时权.NALi-chun.LIUNian-zu.XULun-yan.YUShi-quan基于多智能体的多机群网格模型-计算机工程与设计2007,28(16)在由多计算机机群构成的网格环境下,为了实现数据并行型计算,提出了一个基于多智能体机制的网格开发模型.给出了由多计算机机群组成的网格、逻辑计算机机群、数据并行型计算和一系列Agent的定义.利用管理智能体、独立计算智能体、协同计算智能体以及协同计算组之间的协同计算机制来实现数据并行型计算.描述了网格计算过程.实践表明,该模型有效地适应了多机群网格环境的异构性、动态性等特性,提高了计算资源的利用率.该模型适合于基于网格的并行型计算.5.期刊论文袁秀梅.杨峰.徐志勇.YuanXiumei.YangFeng.XuZhiyong网格协同计算中任务调度系统研究-北京工业职业技术学院学报2008,7(3)网格环境下协同工作机制的研究具有重要的理论与应用价值,本文分析了网格环境下协同工作中任务调度的基本功能需求,并结合现有Globus平台对其中的关键技术进行了研究,给出了调度系统的原型设计.6.会议论文何建农网格计算技术在土地信息管理中的应用2006网格计算技术在GIS领域的应用已成了当今GIS研究的前沿课题.针对土地信息管理的现状和问题,结合其应用特点和需求,设计了土地资源信息网格的组织框架,提出了采用网格GIS的技术解决方案,研制了应用实例,为土地信息管理的资源共享、信息服务和协同计算提供新的思路和有效的方法.7.期刊论文马晓宁.李明楚一种改进的安全协议形式化需求语言-电子技术应用2006,32(3)对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂