ITR: Model Checking for Detecting Computer System Vulnerabilities

ITR:用于检测计算机系统漏洞的模型检查

基本信息

  • 批准号:
    0205376
  • 负责人:
  • 金额:
    $ 92.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2002
  • 资助国家:
    美国
  • 起止时间:
    2002-07-15 至 2007-06-30
  • 项目状态:
    已结题

项目摘要

Securing our nation's computing and networking infrastructure against damage due to malicious attacks or spontaneous faults is a problem of paramount importance. This project aims to contribute to this missionby developing novel techniques and tools based on model checking and program analysis for vulnerability analysis: the problem of identifying and monitoring weaknesses in computer systems that can be exploited to compromise system security. A major expected outcome of the project is a set of tools for determining the consistency and safety of computer system configurationss, such as those specified by firewall rulesand domain type rules.
保护我们国家的计算和网络基础设施免受恶意攻击或自发故障的损害是一个至关重要的问题。 该项目旨在通过开发基于模型检查和程序分析的新技术和工具来促进这一使命,以进行脆弱性分析:识别和监测计算机系统中可被利用以危及系统安全的弱点的问题。该项目的一个主要预期成果是一套工具,用于确定计算机系统配置的一致性和安全性,例如防火墙规则和域类型规则所规定的配置。

项目成果

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

Coimbatore Ramakrishnan其他文献

Coimbatore Ramakrishnan的其他文献

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

{{ truncateString('Coimbatore Ramakrishnan', 18)}}的其他基金

BIGDATA: F: DKM: DKA: Big Data Modeling and Analysis with Depth and Scale
BIGDATA:F:DKM:DKA:深度和规模的大数据建模和分析
  • 批准号:
    1447549
  • 财政年份:
    2014
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Standard Grant
Probabilistic Tabled Logic Programming
概率表逻辑编程
  • 批准号:
    1018459
  • 财政年份:
    2010
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Standard Grant
CT-ISG: Deductive Spreadsheets for Security Policy Specification and Analysis
CT-ISG:用于安全策略规范和分析的演绎电子表格
  • 批准号:
    0627447
  • 财政年份:
    2006
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Continuing Grant
CAREER: Tabled Logic Programming for Verification and Program Analysis
职业:用于验证和程序分析的表格逻辑编程
  • 批准号:
    9876242
  • 财政年份:
    1999
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Continuing Grant
CISE Postdoctoral Research Associates in Experimental Computer Science: Demand Propagation in Labeled Logic Programming Systems
CISE 实验计算机科学博士后研究员:标记逻辑编程系统中的需求传播
  • 批准号:
    9901602
  • 财政年份:
    1999
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Standard Grant
CISE PostDoc: Beyond Finite State Model Checking in LMC
CISE 博士后:LMC 中超越有限状态模型检查
  • 批准号:
    9805735
  • 财政年份:
    1998
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Standard Grant

相似国自然基金

基于术中实时影像的SAM(Segment anything model)开发AI指导房间隔穿刺位置决策的增强现实模型
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    40 万元
  • 项目类别:
应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制
  • 批准号:
    81771933
  • 批准年份:
    2017
  • 资助金额:
    50.0 万元
  • 项目类别:
    面上项目
基于Multilevel Model的雷公藤多苷致育龄女性闭经预测模型研究
  • 批准号:
    81503449
  • 批准年份:
    2015
  • 资助金额:
    18.0 万元
  • 项目类别:
    青年科学基金项目
基于非齐性 Makov model 建立病证结合的绝经后骨质疏松症早期风险评估模型
  • 批准号:
    30873339
  • 批准年份:
    2008
  • 资助金额:
    32.0 万元
  • 项目类别:
    面上项目

相似海外基金

Development of model checking technology for dependable distributed systems
可靠分布式系统模型检测技术的开发
  • 批准号:
    23H03370
  • 财政年份:
    2023
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems
基于 Tableau 的大型系统时态属性模型检查方法
  • 批准号:
    23K19959
  • 财政年份:
    2023
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
Quantitative Model Checking and Synthesis
定量模型检验与综合
  • 批准号:
    2751001
  • 财政年份:
    2022
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Studentship
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号:
    RGPIN-2016-06393
  • 财政年份:
    2021
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Discovery Grants Program - Individual
Belief Ratio Approach of Model Checking for Right Censored Data
右删失数据模型检验的置信比法
  • 批准号:
    562116-2021
  • 财政年份:
    2021
  • 资助金额:
    $ 92.5万
  • 项目类别:
    University Undergraduate Student Research Awards
Correct by construction model checking
通过施工模型检查修正
  • 批准号:
    2598915
  • 财政年份:
    2021
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Studentship
SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking
SHF:小型:通过统计模型检查转变计算机架构评估
  • 批准号:
    2133160
  • 财政年份:
    2021
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Standard Grant
Software model checking for real-time properties of embedded assembply program with interruptions
带有中断的嵌入式汇编程序实时特性的软件模型检查
  • 批准号:
    21K11824
  • 财政年份:
    2021
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Student Travel Support for Verification, Model Checking, and Abstract Interpretation (VMCAI) Winter School 2020
验证、模型检查和摘要解释 (VMCAI) 2020 年冬季学校学生旅行支持
  • 批准号:
    2004561
  • 财政年份:
    2020
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Techniques for Software Model Checking of Hyperproperties
SaTC:核心:小型:超属性软件模型检查技术
  • 批准号:
    2100989
  • 财政年份:
    2020
  • 资助金额:
    $ 92.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了