Collaborative Research: CT-T: Adaptive Security and Separation in Reconfigurable Hardware

合作研究:CT-T:可重构硬件中的自适应安全和分离

基本信息

  • 批准号:
    0524771
  • 负责人:
  • 金额:
    $ 60.39万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2005
  • 资助国家:
    美国
  • 起止时间:
    2005-08-01 至 2009-07-31
  • 项目状态:
    已结题

项目摘要

NSF 0524771CT-T: Collaborative Research: Adaptive Security and Separation in Reconfigurable HardwarePI: Timothy Sherwood, University of California-Santa Barbara, Cynthia Irvine, Naval Postgraduate SchoolFrom Bluetooth transceivers to the NASA Mars Rover, reconfigurable circuits have become one of the mainstays of embedded design. Combining the high computational performance of specialized circuits with the re-programmability of software, these devices are quickly becoming ubiquitous. Unfortunately, if unprotected, this reconfigurability could be exploited to disrupt critical operations, snoop on supposedly secure channels, or even to physically melt a device. However, a new approach to controlling changes to the hardware logic promises to overcome these problems. In addition, the innate malleability of this hardware presents the opportunity for hardware enforcement of adaptive security policies. For example, in an emergency, trusted individuals may need to override the nominal security policy. Thus, the reconfigurable component may provide a highly trusted mechanism for secure functionality in changing environments.This research aims to close a gaping security hole in our nation's information infrastructure by enhancing the logical structure and internal management of reconfigurable hardware to enforce a dynamic information protection policy. Specifically, this research will: (1) discover hardware synthesis and static validation methods that will ensure that only secure and non-destructive configurations can be loaded, (2) develop new reconfigurable structures capable of securely mediating run-time access to shared resources through the use of hardware-compiled formal access policy languages, and (3) establish a firm foundation for trustworthy dynamic policy enforcement through ontological analysis, formal modeling and the development of management mechanisms integrating the results of the first two activities.
NSF 0524771 CT-T:协作研究:可重构硬件中的自适应安全和分离PI:Timothy舍伍德,加州大学圣巴巴拉分校,Cynthia Irvine,海军研究生院从蓝牙收发器到NASA火星探测器,可重构电路已经成为嵌入式设计的支柱之一。将专用电路的高计算性能与软件的可重新编程性相结合,这些设备正迅速变得无处不在。不幸的是,如果不受保护,这种可重新配置性可能会被利用来破坏关键操作,窥探所谓的安全通道,甚至物理熔化设备。 然而,一种控制硬件逻辑变化的新方法有望克服这些问题。 此外,这种硬件固有的延展性为硬件执行自适应安全策略提供了机会。 例如,在紧急情况下,受信任的个人可能需要覆盖名义上的安全策略。因此,可重构组件可以提供一个高度可信的机制,在不断变化的环境中的安全功能。本研究的目的是关闭一个巨大的安全漏洞,在我国的信息基础设施,通过加强可重构硬件的逻辑结构和内部管理,以执行一个动态的信息保护策略。具体而言,这项研究将:(1)发现硬件综合和静态验证方法,其将确保仅可以加载安全和非破坏性配置,(2)开发能够通过使用硬件编译的形式访问策略语言来安全地调解对共享资源的运行时访问的新的可重新配置结构,(3)通过本体分析、形式化建模和管理机制的开发,为可信的动态策略执行奠定坚实的基础。

项目成果

期刊论文数量(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 }}

Timothy Sherwood其他文献

Project VIRGO: creation of a surrogate companion for the elderly
VIRGO项目:为老年人创造一个代理伴侣
Analysis of performance versus security in hardware realizations of small elliptic curves for lightweight applications
  • DOI:
    10.1007/s13389-012-0039-x
  • 发表时间:
    2012-09-13
  • 期刊:
  • 影响因子:
    1.400
  • 作者:
    Vladimir Trujillo-Olaya;Timothy Sherwood;Çetin Kaya Koç
  • 通讯作者:
    Çetin Kaya Koç
Energy Efficient Convolutions with Temporal Arithmetic
具有时间算法的节能卷积
Gate-Level Information Flow Tracking for Security Lattices
安全网格的门级信息流跟踪

Timothy Sherwood的其他文献

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

{{ truncateString('Timothy Sherwood', 18)}}的其他基金

Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories
合作研究:SHF:小型:在可满足性模理论中集成综合和优化
  • 批准号:
    2006542
  • 财政年份:
    2020
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
SHF: Medium: Quantifying and Designing Around Architectural Risk
SHF:中:围绕架构风险进行量化和设计
  • 批准号:
    1763699
  • 财政年份:
    2018
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Continuing Grant
SHF: Small: Exploring Architectural Support for Full-Stack Equational Reasoning in Critical Embedded Systems
SHF:小型:探索关键嵌入式系统中全栈方程推理的架构支持
  • 批准号:
    1717779
  • 财政年份:
    2017
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
TWC: Medium: Collaborative: Computational Blinking - Computer Architecture Techniques for Mitigating Side Channels
TWC:媒介:协作:计算闪烁 - 用于缓解侧通道的计算机体系结构技术
  • 批准号:
    1563935
  • 财政年份:
    2016
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Continuing Grant
SHF: Medium: Collaborative Research: Building Critical Systems with Verifiable Properties Using Gate Level Analysis
SHF:中:协作研究:使用门级分析构建具有可验证属性的关键系统
  • 批准号:
    1162187
  • 财政年份:
    2012
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
TWC: Breakthrough: Inspection Resistance in Cyber-Physical Systems
TWC:突破:网络物理系统中的检查阻力
  • 批准号:
    1239567
  • 财政年份:
    2012
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
TC: Large: Collaborative Research: 3Dsec: Trustworthy System Security through 3-D Integrated Hardware
TC:大型:协作研究:3Dsec:通过 3D 集成硬件实现值得信赖的系统安全
  • 批准号:
    0910389
  • 财政年份:
    2010
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
Mimir: A Geometric Approach to Multi-dimensional Program Profiling Architectures
Mimir:多维程序分析架构的几何方法
  • 批准号:
    0702798
  • 财政年份:
    2007
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Continuing Grant
CAREER: Architectural Support for Online Security Analysis
职业:在线安全分析的架构支持
  • 批准号:
    0448654
  • 财政年份:
    2005
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Continuing Grant
Integrated Guided-Inquiry Laboratories with the use of HPLC Across Undergraduate Chemistry Curriculum
在本科化学课程中使用 HPLC 的综合引导探究实验室
  • 批准号:
    0311474
  • 财政年份:
    2003
  • 资助金额:
    $ 60.39万
  • 项目类别:
    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: Districts Helping Districts: Scaling Inclusive CT Pathways
合作研究:地区帮助地区:扩大包容性 CT 路径
  • 批准号:
    2219350
  • 财政年份:
    2022
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
Collaborative Research: Districts Helping Districts: Scaling Inclusive CT Pathways
合作研究:地区帮助地区:扩大包容性 CT 路径
  • 批准号:
    2219351
  • 财政年份:
    2022
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
Collaborative Research: Uncovering the Multiscale Determinants of Atypical Femoral Fracture using MRI and CT-Based Modeling
合作研究:利用 MRI 和 CT 建模揭示非典型股骨骨折的多尺度决定因素
  • 批准号:
    2025923
  • 财政年份:
    2020
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
Collaborative Research: Uncovering the Multiscale Determinants of Atypical Femoral Fracture using MRI and CT-Based Modeling
合作研究:利用 MRI 和 CT 建模揭示非典型股骨骨折的多尺度决定因素
  • 批准号:
    2026906
  • 财政年份:
    2020
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
RAPID: Collaborative Research: Independent Component Analysis Inspired Statistical Neural Networks for 3D CT Scan Based Edge Screening of COVID-19
RAPID:协作研究:独立成分分析启发的统计神经网络,用于基于 3D CT 扫描的 COVID-19 边缘筛查
  • 批准号:
    2027539
  • 财政年份:
    2020
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
Collaborative research: A histological and CT study of midfacial growth trajectories in subadult primates
合作研究:亚成年灵长类动物中面部生长轨迹的组织学和 CT 研究
  • 批准号:
    1728263
  • 财政年份:
    2016
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
Collaborative Research: Iodine-enhanced micro-CT Imaging: Repeated Measures Design to Improve Visualization of Vertebrate Soft-tissue Anatomy
合作研究:碘增强显微 CT 成像:重复测量设计以改善脊椎动物软组织解剖学的可视化
  • 批准号:
    1450850
  • 财政年份:
    2015
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Continuing Grant
Collaborative Research: Iodine-enhanced micro-CT Imaging: Repeated Measures Design to Improve Visualization of Vertebrate Soft-tissue Anatomy
合作研究:碘增强显微 CT 成像:重复测量设计以改善脊椎动物软组织解剖学的可视化
  • 批准号:
    1450842
  • 财政年份:
    2015
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Continuing Grant
CT-ISG: Collaborative Research: Towards Trustworthy Database Systems
CT-ISG:协作研究:迈向可信赖的数据库系统
  • 批准号:
    1243971
  • 财政年份:
    2012
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
Collaborative research: A histological and CT study of midfacial growth trajectories in subadult primates
合作研究:亚成年灵长类动物中面部生长轨迹的组织学和 CT 研究
  • 批准号:
    1231350
  • 财政年份:
    2012
  • 资助金额:
    $ 60.39万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了