CAREER: System-Wide Intrusion Recovery Using Selective Re-execution
CAREER: System-Wide Intrusion Recovery Using Selective Re-execution
批准号:
1053143
负责人:
Nickolai Zeldovich
金额:
$45.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-04-01 至 2017-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Virtually any computer system can be compromised. New software vulnerabilities are discovered and exploited daily, and even if software were bug-free, unaware users may install malware along with free screensavers or greeting cards they download online. Cleaning up after these inevitable compromises leads to days of wasted effort by users or system administrators, with no conclusive guarantee that all traces of the attack are gone, or that no legitimate changes are lost.This research project automates recovery from intrusions by developing a system-wide undo mechanism, so that an administrator can undo an attacker's break-in attempt, along with all of its side-effects, while preserving all other legitimate operations. The key idea is to log all computations, such as processes or system calls, and the dependencies between them, so that if one operation needs to be undone, the system can both undo its direct effects, and recursively track down and re-execute other operations that may have been indirectly affected. Building on this basic approach, the project explores how computer systems must change to securely and efficiently provide system-wide undo, from operating system kernels, to programming languages, to applications and user interfaces.If successful, this project will provide a principled approach to recovering from intrusions in computer systems. More broadly, system-wide undo may help in many situations, such as users that realize they changed the wrong setting a week ago, students that want to learn a new system by exploring and undoing, or application developers that want to experiment with a large-scale system.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track I: The Phlox framework for verifying a high-performance distributed database
-
批准号:2319167
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2023
-
负责人:Nickolai Zeldovich
-
依托单位:
SaTC: CORE: Medium: Verifying Hardware Security Modules with Information-Preserving Refinement
-
批准号:2225441
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2022
-
负责人:Nickolai Zeldovich
-
依托单位:
Collaborative Research: FMitF: Track I: Composable Verification of Crash-Safe Distributed Systems with Grove
-
批准号:2123864
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2021
-
负责人:Nickolai Zeldovich
-
依托单位:
SaTC: CORE: Small: verifying security for data non-interference
-
批准号:1812522
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Nickolai Zeldovich
-
依托单位:
FMitF: Verifying Concurrent System Software with Cspec
-
批准号:1836712
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2018
-
负责人:Nickolai Zeldovich
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于铁死亡探讨黄芪甲苷调控System/Xc-/GSH/GPX4信号通路在神经损伤性勃起功能障碍治疗中的作用及机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:马轲
-
依托单位:
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
-
批准号:--
-
项目类别:外国青年学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:江洋子
-
依托单位:
TBX1/LKB1轴阻断system Xc活性调控AML细胞铁死亡的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:
-
依托单位:
TET2通过调控BAP1-System Xc-轴促进紫拉非尼诱导的肝细胞癌铁死亡的机制研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:--
-
依托单位:
P3H1通过ATF4/System Xc-轴抑制肾癌铁死亡和抗肿瘤免疫反应的作用及机制研究
-
批准号:82372704
-
项目类别:面上项目
-
资助金额:49万元
-
批准年份:2023
-
负责人:王保军
-
依托单位:
基于PNO1介导system Xc-/GSH途径调控肠上皮细胞自噬依赖性铁死亡探讨加味胶七散治疗溃疡性结肠炎的机制
-
批准号:82304982
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:刘伟萍
-
依托单位:
基于单细胞测序探讨淫羊藿苷对Erastin诱导髓核细胞铁死亡相关system-Xc/GSH/GPX4分子轴线的调控作用
-
批准号:82360947
-
项目类别:地区科学基金项目
-
资助金额:33万元
-
批准年份:2023
-
负责人:张彦军
-
依托单位:
内皮细胞机械敏感离子通道Piezo1通过HIF-1α/system Xc-介导BBB破坏在急性脑缺血再灌注损伤中的作用与机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:52万元
-
批准年份:2022
-
负责人:王德任
-
依托单位:
miR-198 靶向 Nrf2 抑制 System Xc-通路调控滋养细胞铁死亡在子痫前期中的机制
-
批准号:2022JJ70123
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2022
-
负责人:阳双健
-
依托单位:
BAP1介导H2B去泛素化抑制System Xc-在蛛网膜下腔出血神经元铁死亡中的作用和机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:55万元
-
批准年份:2021
-
负责人:李明昌
-
依托单位: