Collaborative Research: Formal Privacy
合作研究:正式隐私
基本信息
- 批准号:0208983
- 负责人:
- 金额:$ 14.3万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2002
- 资助国家:美国
- 起止时间:2002-09-15 至 2005-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Growing pressure to collect information on the Internet has created a need for more sophisticated ways to characterize privacy rights and balance them against legitimate commercial and law enforcement objectives. A wide range of businesses now rely on their ability to collect information about online customers as a foundation of their added value in the market place. The use or potential use ofthe Internet for purposes such as child pornography and planning of hate crimes and terrorism have heighted interest in (and loosened regulations on) network monitoring. Theft of intellectual property has led to the development of numerous protection mechanisms; these often involve registrations and involuntary monitoring of various kinds. In order to make security easier (and explore a lucrative business model), a number of companies seek to act as third-party caretakers of private information such as keys, authentication secrets, and credit card numbers. Arrayed against these trends are many citizens incensed by aggressive means used to collect information from them and a variety of groupsthat champion privacy rights.There have been many advances in technologies both to aid information gathering and limit it. One important trend is toward more advanced systems for creating and managing digital credentials and authorization databases. In current practice credentials are sometimes `pushed' (like presenting a ticket to get into a movie theater) sometimes `pulled' (like getting access to an airplane seat witha `paperless' ticket) and sometimes both (like making a purchase at a store with a credit card whose validity is confirmed online). These approaches have Internet-based analogs, and technical advances have increased the range of options considerably in recent years. For example, work on public key systemshas advanced techniques for delegation based on chains of `pushed' credentials and increased the automation of credential collection. Another important trend is toward more advanced systems for protecting privacy using anonymizing techniques. Tools such as onion routers and anonymous web publication servers provide some support but other techniques directly aid fine-grained mechanismsfor obtaining privileges without exposing information unnecessarily. This work aims to develop formal support for characterizing privacy in the context of these advances. Efforts to improve access control systems and credential distribution have paid little attention to privacy mechanisms so far, resulting in systems that are good at propagating credentials reliably, but nottuned to do so within well-understood privacy constraints. This collaboration will build on our work in credential distribution and anonymity to create an integrated architecture and protocols to provide advanced access control within the limitations of privacy constraints.
在互联网上收集信息的压力越来越大,因此需要更复杂的方法来确定隐私权的性质,并将其与合法的商业和执法目标相平衡。 现在,各种各样的企业都依赖于他们收集在线客户信息的能力,作为他们在市场上增加价值的基础。 互联网被用于或可能被用于儿童色情、策划仇恨犯罪和恐怖主义等目的,这提高了人们对网络监控的兴趣(并放松了对网络监控的监管)。 盗窃知识产权导致了许多保护机制的发展;这些机制往往涉及各种登记和非自愿监督。 为了使安全性更容易(并探索利润丰厚的商业模式),许多公司寻求充当密钥、身份验证秘密和信用卡号码等私人信息的第三方管理者。 与这些趋势相反的是,许多公民对从他们和各种捍卫隐私权的团体那里收集信息的激进手段感到愤怒。在帮助信息收集和限制信息收集方面,技术已经取得了许多进步。一个重要的趋势是建立和管理数字证书和授权数据库的更先进的系统。 在目前的实践中,凭证有时是“推”的(如出示电影票进入电影院),有时是“拉”的(如使用“无纸”票进入飞机座位),有时两者兼而有之(如在商店使用信用卡购物,其有效性在网上确认)。 这些方法有基于互联网的类似物,近年来技术进步大大增加了选择的范围。 例如,关于公用钥匙系统的工作提供了先进的授权技术,以“推送”证书链为基础,并提高了证书收集的自动化程度。 另一个重要的趋势是使用匿名技术来保护隐私的更先进的系统。 洋葱路由器和匿名web发布服务器等工具提供了一些支持,但其他技术直接帮助细粒度机制获得权限,而不会暴露不必要的信息。 这项工作的目的是制定正式的支持,在这些进步的背景下,隐私的特征。 到目前为止,在访问控制系统和证书分发方面的努力很少关注隐私机制,导致系统擅长可靠地传播证书,但没有在充分理解的隐私约束下这样做。 这项合作将建立在我们在凭证分发和匿名方面的工作基础上,以创建一个集成的架构和协议,从而在隐私限制的范围内提供高级访问控制。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Stuart Stubblebine其他文献
Stuart Stubblebine的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Stuart Stubblebine', 18)}}的其他基金
SBIR Phase I: Tools for Protecting Against Online Password Guessing Attacks
SBIR 第一阶段:防御在线密码猜测攻击的工具
- 批准号:
0339464 - 财政年份:2004
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
- 批准号:
2319400 - 财政年份:2023
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
- 批准号:
2319399 - 财政年份:2023
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
合作研究:FMitF:第一轨:可编程逻辑控制器的形式验证和实现堆栈
- 批准号:
2425711 - 财政年份:2023
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
- 批准号:
2404036 - 财政年份:2023
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
- 批准号:
2319401 - 财政年份:2023
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
- 批准号:
2409796 - 财政年份:2023
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
合作研究:FMitF:第一轨:可编程逻辑控制器的形式验证和实现堆栈
- 批准号:
2220311 - 财政年份:2022
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
协作研究:SaTC:核心:中:迈向安全、私密和可靠的家庭自动化:从形式建模到用户评估
- 批准号:
2320903 - 财政年份:2022
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: CNS Core: Medium: Robust Behavioral Analysis and Synthesis of Network Control Protocols Using Formal Verification
合作研究:CNS 核心:中:使用形式验证的网络控制协议的鲁棒行为分析和综合
- 批准号:
2212102 - 财政年份:2022
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant
Collaborative Research: CNS Core: Medium: Robust Behavioral Analysis and Synthesis of Network Control Protocols Using Formal Verification
合作研究:CNS 核心:中:使用形式验证的网络控制协议的鲁棒行为分析和综合
- 批准号:
2212103 - 财政年份:2022
- 资助金额:
$ 14.3万 - 项目类别:
Standard Grant