CT-T: Collaborative Research: Complex, High-level, Integrated Properties for Security

CT-T:协作研究:复杂、高级、集成的安全属性

基本信息

  • 批准号:
    0716715
  • 负责人:
  • 金额:
    $ 5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2007
  • 资助国家:
    美国
  • 起止时间:
    2007-10-01 至 2008-09-30
  • 项目状态:
    已结题

项目摘要

The last ten years have seen substantial progress in our ability to automatically analyze source code for security properties. These advances are transitioning into practice and making a broad impact on software security. However, the success of this work has been partially limited by the fact that there are many security properties that we do not know how to analyze.This project seeks to take several initial steps towards extending the range and scope of security properties that can be checked on large software systems. The research involves three tracks. First, we will investigate how the design of programming languages can support secure programming practices. Second, we will study techniques for analyzing memory safety, a a complex yet fundamental security property that, surprisingly, is still not statically checkable today. Third, we will study how to check that networking software is consistent with the specifications implied in standards committees' descriptions of network protocols. Integrated together, these three directions will allow us to provide end-to-end guarantees of security properties that span from low to high level. The goal of this project is to begin the work of developing a future generation of techniques for improving software security.
在过去的十年里,我们在自动分析安全属性的源代码方面取得了实质性的进步。这些进步正在转化为实践,并对软件安全产生广泛影响。然而,这项工作的成功在一定程度上受到这样一个事实的限制,即有许多我们不知道如何分析的安全属性。该项目寻求采取几个初步步骤来扩大可以在大型软件系统上检查的安全属性的范围和范围。这项研究涉及三个方面。首先,我们将调查编程语言的设计如何支持安全编程实践。其次,我们将研究分析内存安全的技术,这是一个复杂但基本的安全属性,令人惊讶的是,今天仍然不能静态检查。第三,我们将研究如何检查网络软件是否与标准委员会的网络协议描述中隐含的规范一致。这三个方向结合在一起,将使我们能够为从低到高级别的安全属性提供端到端的保证。该项目的目标是开始开发用于提高软件安全性的下一代技术。

项目成果

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

David Wagner其他文献

The Riemann Problem in Two Space Dimensions for a Single Conservation Law
Optimization of a Solver for Computational Materials and Structures Problems on NVIDIA Volta and AMD Instinct GPUs
NVIDIA Volta 和 AMD Instinct GPU 上计算材料和结构问题求解器的优化
SYMMETRIC-HYPERBOLIC EQUATIONS OF MOTION FOR A HYPERELASTIC MATERIAL
超弹性材料的对称双曲运动方程
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    David Wagner
  • 通讯作者:
    David Wagner
Equivalence of the Euler and Lagrangian equations of gas dynamics for weak solutions
Leadership 2.0: Engaging and Supporting Leaders in the Transition towards a Networked Organization
领导力 2.0:吸引和支持领导者向网络化组织转型

David Wagner的其他文献

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

{{ truncateString('David Wagner', 18)}}的其他基金

RCN: An International Network to Assess the Status of Insects
RCN:评估昆虫状况的国际网络
  • 批准号:
    2225092
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Machine Learning for Cybersecurity: Robustness Against Concept Drift
协作研究:SaTC:核心:小型:网络安全机器学习:针对概念漂移的稳健性
  • 批准号:
    2154873
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
REU Site: Summer Undergraduate Program in Engineering Research at Berkeley-Responsible Artificial Intelligence (SUPERB-RAI)
REU 网站:伯克利负责任人工智能工程研究暑期本科生项目 (SUPERB-RAI)
  • 批准号:
    1950668
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
TWC: Medium: Collaborative: Security and Privacy for Wearable and Continuous Sensing Platforms
TWC:媒介:协作:可穿戴和连续传感平台的安全和隐私
  • 批准号:
    1514457
  • 财政年份:
    2015
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
TWC: Small: A Choice Architecture for Mobile Privacy and Security
TWC:小型:移动隐私和安全的选择架构
  • 批准号:
    1318680
  • 财政年份:
    2013
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
TC: Small: Securing Web Software Systems
TC:小型:保护 Web 软件系统
  • 批准号:
    1018924
  • 财政年份:
    2010
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Dissertation Research: Systematics and Morphology of Metalmark Moths (Lepidoptera: Choreutidae)
论文研究:金斑蛾(鳞翅目:Choreutidae)的系统学和形态学
  • 批准号:
    0608399
  • 财政年份:
    2006
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: CT-CS: A Center for Correct, Usable, Reliable, Auditable, and Transparent Elections (ACCURATE)
合作研究:CT-CS:正确、可用、可靠、可审计和透明选举的中心(准确)
  • 批准号:
    0524745
  • 财政年份:
    2005
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
Collaborative Research: Type Qualifiers for Software Security
协作研究:软件安全的类型限定符
  • 批准号:
    0430585
  • 财政年份:
    2004
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
CAREER: Security in the Large: Gaining Assurance in Real-World Systems
职业:大范围的安全:在现实世界的系统中获得保证
  • 批准号:
    0093337
  • 财政年份:
    2001
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant

相似海外基金

Collaborative Research: Districts Helping Districts: Scaling Inclusive CT Pathways
合作研究:地区帮助地区:扩大包容性 CT 路径
  • 批准号:
    2219350
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: Districts Helping Districts: Scaling Inclusive CT Pathways
合作研究:地区帮助地区:扩大包容性 CT 路径
  • 批准号:
    2219351
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: Uncovering the Multiscale Determinants of Atypical Femoral Fracture using MRI and CT-Based Modeling
合作研究:利用 MRI 和 CT 建模揭示非典型股骨骨折的多尺度决定因素
  • 批准号:
    2025923
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: Uncovering the Multiscale Determinants of Atypical Femoral Fracture using MRI and CT-Based Modeling
合作研究:利用 MRI 和 CT 建模揭示非典型股骨骨折的多尺度决定因素
  • 批准号:
    2026906
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
    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
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative research: A histological and CT study of midfacial growth trajectories in subadult primates
合作研究:亚成年灵长类动物中面部生长轨迹的组织学和 CT 研究
  • 批准号:
    1728263
  • 财政年份:
    2016
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative Research: Iodine-enhanced micro-CT Imaging: Repeated Measures Design to Improve Visualization of Vertebrate Soft-tissue Anatomy
合作研究:碘增强显微 CT 成像:重复测量设计以改善脊椎动物软组织解剖学的可视化
  • 批准号:
    1450850
  • 财政年份:
    2015
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
Collaborative Research: Iodine-enhanced micro-CT Imaging: Repeated Measures Design to Improve Visualization of Vertebrate Soft-tissue Anatomy
合作研究:碘增强显微 CT 成像:重复测量设计以改善脊椎动物软组织解剖学的可视化
  • 批准号:
    1450842
  • 财政年份:
    2015
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
CT-ISG: Collaborative Research: Towards Trustworthy Database Systems
CT-ISG:协作研究:迈向可信赖的数据库系统
  • 批准号:
    1243971
  • 财政年份:
    2012
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Collaborative research: A histological and CT study of midfacial growth trajectories in subadult primates
合作研究:亚成年灵长类动物中面部生长轨迹的组织学和 CT 研究
  • 批准号:
    1231350
  • 财政年份:
    2012
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了