CRII: SaTC: A System for Privacy Management in Ubiquitous Environments

CRII:SaTC:无处不在的环境中的隐私管理系统

基本信息

  • 批准号:
    1657774
  • 负责人:
  • 金额:
    $ 17.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2016
  • 资助国家:
    美国
  • 起止时间:
    2016-08-01 至 2020-06-30
  • 项目状态:
    已结题

项目摘要

As mobile and network technologies proliferate, so does society's awareness of the vulnerability of private data within cyberspace. Protecting private information becomes specially important, since researchers estimate that 87% of Americans can be identified by name and address, if their zip code, gender, and birthday are known to intruders. The goal of this proposal will be to develop a new set of verification tools, algorithms, and interfaces that enable secure, effective and unobtrusive management of users' private information. The proposed approach leverages formal verification techniques to ensure that the intended privacy properties and goals are met. Because of the modular and robust design of the proposed platform, it can be re-aligned and tuned to accommodate the needs of specific use cases and applications (e.g., health-care, connected automotive systems, and smart cities). The proposed system will: (1) use model-checking to ensure that updated rules and boundaries correctly enforce users' privacy intents, given that users' privacy boundaries and rules constantly evolve (e.g., due to aging, social pressure, and changes in health and personal relationships), (2) automatically translate control policies to privacy-preserving protocol executions, which provably enforce privacy intents. To achieve this, new approaches for activating privacy-preserving functionalities based on the knowledge of privacy rules and boundaries, as well as novel cryptographic tools will be used.For further information see the project web site at: http://hodamehrpouyan.com/privacy.html .
随着移动的和网络技术的激增,社会对网络空间内私人数据脆弱性的认识也在增加。保护私人信息变得尤为重要,因为研究人员估计,如果入侵者知道他们的邮政编码、性别和生日,87%的美国人可以通过姓名和地址识别。该提案的目标是开发一套新的验证工具、算法和接口,以便安全、有效和不引人注目地管理用户的私人信息。所提出的方法利用形式验证技术,以确保预期的隐私属性和目标得到满足。由于所提出的平台的模块化和鲁棒性设计,它可以被重新调整和调整以适应特定用例和应用的需求(例如,医疗保健、互联汽车系统和智慧城市)。拟议的系统将:(1)使用模型检查来确保更新的规则和边界正确地实施用户的隐私意图,假定用户的隐私边界和规则不断地演变(例如,由于老化、社会压力以及健康和个人关系的变化),(2)自动地将控制策略转换为隐私保护协议执行,其可证明地实施隐私意图。为了实现这一目标,将使用基于隐私规则和边界知识的激活隐私保护功能的新方法以及新颖的加密工具。http://hodamehrpouyan.com/privacy.html

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A User-Centric and Sentiment Aware Privacy-Disclosure Detection Framework based on Multi-input Neural Network
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Nuhil Mehdy;Hoda Mehrpouyan
  • 通讯作者:
    Nuhil Mehdy;Hoda Mehrpouyan
A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies
Privacy as a Planned Behavior: Effects of Situational Factors on Privacy Perceptions and Plans
隐私作为一种有计划的行为:情境因素对隐私认知和计划的影响
Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach
Anon what what?: Children's Understanding of the Language of Privacy
匿名什么什么?:儿童对隐私语言的理解
{{ 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 }}

Hoda Mehrpouyan其他文献

Resilient Design of Complex Engineered Systems Against Cascading Failure
针对级联故障的复杂工程系统的弹性设计
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hoda Mehrpouyan;B. Haley;A. Dong;I. Tumer;C. Hoyle
  • 通讯作者:
    C. Hoyle
Complex Engineered Systems Design Verification Based on Assume‐Guarantee Reasoning
基于假设保证推理的复杂工程系统设计验证
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    2
  • 作者:
    Hoda Mehrpouyan;D. Giannakopoulou;G. Brat;I. Tumer;C. Hoyle
  • 通讯作者:
    C. Hoyle
Measuring Personality for Automatic Elicitation of Privacy Preferences
测量个性以自动获取隐私偏好
Model Checking of Security Properties in Industrial Control Systems (ICS)
工业控制系统 (ICS) 中安全属性的模型检查
Misusing Sensory Channel to Attack Industrial Control Systems
滥用传感通道攻击工业控制系统

Hoda Mehrpouyan的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Hoda Mehrpouyan', 18)}}的其他基金

CAREER: Formal TOols foR SafEty aNd Security of Industrial Control Systems (FORENSICS)
职业:工业控制系统安全和安保的正式工具(取证)
  • 批准号:
    1846493
  • 财政年份:
    2019
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Continuing Grant
CRII: SaTC: A System for Privacy Management in Ubiquitous Environments
CRII:SaTC:无处不在的环境中的隐私管理系统
  • 批准号:
    1565689
  • 财政年份:
    2016
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant

相似海外基金

SaTC: CORE: Small: An evaluation framework and methodology to streamline Hardware Performance Counters as the next-generation malware detection system
SaTC:核心:小型:简化硬件性能计数器作为下一代恶意软件检测系统的评估框架和方法
  • 批准号:
    2327427
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
  • 批准号:
    2317232
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
  • 批准号:
    2317233
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: Automatic Exploits Detection and Mitigation for Industrial Control System Protocols
SaTC:核心:小型:工业控制系统协议的自动漏洞检测和缓解
  • 批准号:
    2345563
  • 财政年份:
    2023
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Collaborative: Doctor WHO: Investigation and Prevention of Online Content Management System Abuse
SaTC:核心:媒介:协作:WHO 医生:在线内容管理系统滥用的调查和预防
  • 批准号:
    2426653
  • 财政年份:
    2023
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CRII: SaTC: Design Space Modeling for Logic Obfuscation to Enable System-Wide Security during IC Manufacture and Test
CRII:SaTC:逻辑混淆的设计空间建模,以在 IC 制造和测试期间实现系统范围的安全
  • 批准号:
    2245573
  • 财政年份:
    2023
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CRII: SaTC: Physical Side-Channel Attacks in Biometric System
CRII:SaTC:生物识别系统中的物理侧信道攻击
  • 批准号:
    2302084
  • 财政年份:
    2022
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: SOCIAL: System-on-Chip Information Flow Validation under Asynchronous Events
协作研究:SaTC:CORE:小型:SOCIAL:异步事件下的片上系统信息流验证
  • 批准号:
    2223046
  • 财政年份:
    2022
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: SOCIAL: System-on-Chip Information Flow Validation under Asynchronous Events
协作研究:SaTC:CORE:小型:SOCIAL:异步事件下的片上系统信息流验证
  • 批准号:
    2223045
  • 财政年份:
    2022
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Collaborative: Hardware-assisted Plausibly Deniable System for Mobile Devices
SaTC:核心:小型:协作:用于移动设备的硬件辅助合理可否认系统
  • 批准号:
    2313139
  • 财政年份:
    2022
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了