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

项目编号: No.61462060

项目类型: 地区科学基金项目

立项/批准年度: 2015

项目学科: 自动化技术、计算机技术

项目作者: 冯涛

作者单位: 兰州理工大学

项目金额: 44万元

中文摘要: 本项目希望建立一种新的隐私增强身份管理技术架构。该架构包括匿名度量方法、可证明匿名性形式化方法、直接匿名证明协议和匿名路由协议的可证明安全设计和分析方法。项目试图扩展L1 相似度量法,确定匿名攻击的自适应威胁模型,建立既面向网络又面向数据的匿名性度量理论并验证新的匿名性度量方法;以关系匿名框架为可证明匿名性的概念框架参考模型,提出基于符号操作的匿名性验证自动化分析技术和方法;简化现有DAA方案理想函数定义,提出DAA方案和扩展方案安全性的可证明安全评价体系,设计新的具有前向匿名性的DAA方案;讨论基于DAA方案的匿名路由协议安全属性标准,提出匿名路由协议的安全定义和新的匿名路由协议设计与分析方法。通过研究希望在匿名性通信和隐私增强身份管理的基础理论、方法和技术方面有一定的突破,为高效、可靠和可证安全的隐私增强身份管理提供比较完整和系统的理论支持和技术支撑。

中文关键词: 隐私保护;匿名度量;匿名形式化;直接匿名证明;匿名路由

英文摘要: We will seek to found up a new privacy enhance identity management technical architecture, this framework including anonymous metrics, provably anonymity formalizing method, Anonymous Routing Protocols (ARP) and Direct Anonymous Attestation (DAA) provable security design and analysis approach. First of all, the network data anonymity of metrics will be find by expand L1 similar metric method; Second, the using secure multiparty computation theory ascertain the adaptive threat model for anonymous communication network;Third, the provable anonymity formal methods will be establish by Logic of Secure Systems(LS2); Fourth, based on universally composable (UC) security model and the compute indistinguishability protocl simulation method define the security and anonymous for ARP and DAA, and propose the provable security design and analysis method for ARP and DAA. Fifth, design new anonymous routing protocols, forward-anonymous DDA and DDA-based key exchange protocol to achieve privacy enhance identity management. We wish to a certain extent breakthrough in the communication network anonymity and privacy enhances identity management theory, method and technology. Provided more complete and systematic theory support and technical support for efficient, reliable, verifiable and provable security privacy enhance identity management.

英文关键词: Privacy Protection;Anonymous Metrics;Anonymity Formalizing;Direct Anonymous Attestation;Anonymous Routing Protocols

成为VIP会员查看完整内容
1

相关内容

军事知识图谱构建技术
专知会员服务
116+阅读 · 2022年4月8日
数据中心产业图谱研究报告,41页pdf
专知会员服务
53+阅读 · 2022年1月31日
区块链数据安全服务综述
专知会员服务
54+阅读 · 2021年11月10日
专知会员服务
79+阅读 · 2021年10月18日
专知会员服务
19+阅读 · 2021年10月15日
专知会员服务
16+阅读 · 2021年8月6日
专知会员服务
91+阅读 · 2021年7月23日
基于区块链的数据透明化:问题与挑战
专知会员服务
20+阅读 · 2021年3月4日
专知会员服务
112+阅读 · 2020年11月16日
数据中心传感器技术应用 白皮书
专知
0+阅读 · 2021年11月13日
区块链数据安全服务综述
专知
2+阅读 · 2021年11月10日
深入理解云计算OpenAPI体系
阿里技术
0+阅读 · 2021年9月27日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
已删除
将门创投
12+阅读 · 2018年6月25日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
4+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
2+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
Arxiv
12+阅读 · 2021年5月3日
Arxiv
11+阅读 · 2018年5月21日
小贴士
相关VIP内容
军事知识图谱构建技术
专知会员服务
116+阅读 · 2022年4月8日
数据中心产业图谱研究报告,41页pdf
专知会员服务
53+阅读 · 2022年1月31日
区块链数据安全服务综述
专知会员服务
54+阅读 · 2021年11月10日
专知会员服务
79+阅读 · 2021年10月18日
专知会员服务
19+阅读 · 2021年10月15日
专知会员服务
16+阅读 · 2021年8月6日
专知会员服务
91+阅读 · 2021年7月23日
基于区块链的数据透明化:问题与挑战
专知会员服务
20+阅读 · 2021年3月4日
专知会员服务
112+阅读 · 2020年11月16日
相关资讯
数据中心传感器技术应用 白皮书
专知
0+阅读 · 2021年11月13日
区块链数据安全服务综述
专知
2+阅读 · 2021年11月10日
深入理解云计算OpenAPI体系
阿里技术
0+阅读 · 2021年9月27日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
已删除
将门创投
12+阅读 · 2018年6月25日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
4+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
2+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
微信扫码咨询专知VIP会员