可证明的网络和数据匿名性及隐私增强身份管理关键技术研究

IR > 计算机与通信学院

	可证明的网络和数据匿名性及隐私增强身份管理关键技术研究
项目编号	61462060
	冯涛
摘要	本项目希望建立一种新的隐私增强身份管理技术架构。该架构包括匿名度量方法、可证明匿名性形式化方法、直接匿名证明协议和匿名路由协议的可证明安全设计和分析方法。项目试图扩展L1相似度量法，确定匿名攻击的自适应威胁模型，建立既面向网络又面向数据的匿名性度量理论并验证新的匿名性度量方法；以关系匿名框架为可证明匿名性的概念框架参考模型，提出基于符号操作的匿名性验证自动化分析技术和方法；简化现有DAA方案理想函数定义，提出DAA方案和扩展方案安全性的可证明安全评价体系，设计新的具有前向匿名性的DAA方案；讨论基于DAA方案的匿名路由协议安全属性标准，提出匿名路由协议的安全定义和新的匿名路由协议设计与分析方法。通过研究希望在匿名性通信和隐私增强身份管理的基础理论、方法和技术方面有一定的突破，为高效、可靠和可证安全的隐私增强身份管理提供比较完整和系统的理论支持和技术支撑。【英文摘要】Wewillseektofoundupanewprivacyenhanceidentitymanagementtechnicalarchitecture,thisframeworkincludinganonymousmetrics,provablyanonymityformalizingmethod,AnonymousRoutingProtocols(ARP)andDirectAnonymousAttestation(DAA)provablesecuritydesignandanalysisapproach.Firstofall,thenetworkdataanonymityofmetricswillbefindbyexpandL1similarmetricmethod;Second,theusingsecuremultipartycomputationtheoryascertaintheadaptivethreatmodelforanonymouscommunicationnetwork;Third,theprovableanonymityformalmethodswillbeestablishbyLogicofSecureSystems(LS2);Fourth,basedonuniversallycomposable(UC)securitymodelandthecomputeindistinguishabilityprotoclsimulationmethoddefinethesecurityandanonymousforARPandDAA,andproposetheprovablesecuritydesignandanalysismethodforARPandDAA.Fifth,designnewanonymousroutingprotocols,forward-anonymousDDAandDDA-basedkeyexchangeprotocoltoachieveprivacyenhanceidentitymanagement.Wewishtoacertainextentbreakthroughinthecommunicationnetworkanonymityandprivacyenhancesidentitymanagementtheory,methodandtechnology.Providedmorecompleteandsystematictheorysupportandtechnicalsupportforefficient,reliable,verifiableandprovablesecurityprivacyenhanceidentitymanagement.
项目类别	地区科学基金项目
项目来源	国家自然科学基金
	2015-01
结束日期	2018-12
学科门类	12 - 信息科学 ; 1202 - 计算机科学
主持机构	兰州理工大学
项目经费	440000.0
国家	CN
语种	中文
文献类型	项目
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/64704
专题	计算机与通信学院
推荐引用方式 GB/T 7714	冯涛.可证明的网络和数据匿名性及隐私增强身份管理关键技术研究.2015.