课题基金 / 基金详情

CAREER: Explorable Formal Models of Privacy Policies and Regulations

CAREER: Explorable Formal Models of Privacy Policies and Regulations
职业:可探索的隐私政策和法规的正式模型
批准号:
1846122
负责人:
Christopher Martens
金额:
$55.5万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-06-15 至 2023-03-31

项目摘要

项目成果

Christopher Martens的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Data collection and analysis enable great advancements in digital technology, but the stewards of this data have a responsibility to society to ensure that the practices of collection, storage, and user control abide by user expectations. Policies and regulations governing data privacy play a critical role in communicating privacy expectations to users and defining the bounds of permissible data use. However, in practice, there are severe mismatches between user expectations and the actual practices of software companies, even when those practices conform with their privacy policies. This project's goal is to enable automated reasoning over privacy policies and regulations that can assist users, policy developers, and regulators in understanding unintended consequences of data practices and policies.Past research on automated reasoning for privacy has led to efforts to formally model the logical semantics of regulations and support mechanized correctness proofs. The desire for transparency to users, on the other hand, has led to proposals for policy annotation schemes that support clearer presentation through natural language and visualization. This project aims to unify these goals by developing techniques to represent policies and regulations that are both formal and explorable, answering 'what if'? questions about specific scenarios in addition to providing provable guarantees. The project requires technical advances in formal methods, narrative generation, natural language processing, and human-computer interaction. The research team will formalize privacy regulations such as the European Union's General Data Privacy Regulation, as well as privacy policies specific to software companies and service providers, using a relational programming model known as Answer Set Programming (ASP). The research team plans to discover new techniques for interoperating with ASP as a lightweight semantic modeling framework, with support for answering queries, generating scenarios that reveal privacy loopholes, generating counterexamples to global correctness conditions, suggesting repairs for broken policies, and enabling the exploration of hypothetical scenarios by policy developers and users.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
Generating Explorable Narrative Spaces with Answer Set Programming
通过答案集编程生成可探索的叙事空间
DOI: --
发表时间: 2020
期刊: Sixteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment
影响因子: --
作者: [Dabral, Chinmaya, Martens, Chris]
通讯作者: Martens, Chris
CAREER: Explorable Formal Models of Privacy Policies and Regulations
  • 批准号:
    2319894
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $55.5万
  • 财政年份:
    2022
  • 负责人:
    Christopher Martens
  • 依托单位:
Collaborative Research: In Situ Oxidation Rates of Methane Injected from Seafloor Gas Seeps
CRII: SHF: Supporting Domain-Specific Inquiry with Rule-Based Modeling
  • 批准号:
    1755922
  • 项目类别:
    Standard Grant
  • 资助金额:
    $16.11万
  • 财政年份:
    2018
  • 负责人:
    Christopher Martens
  • 依托单位:
RAPID: Hurricane Irma Impacts on Nitrogen Cycling in Florida Bay
海外基金