课题基金 / 基金详情

CT-ISG: Collaborative Research: Non-bypassable Kernel Services for Execution Security

CT-ISG: Collaborative Research: Non-bypassable Kernel Services for Execution Security
CT-ISG:协作研究:用于执行安全的不可绕过的内核服务
批准号:
0716764
负责人:
Christopher Gill
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-08-01 至 2010-07-31

项目摘要

项目成果

Christopher Gill的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Society is dependent on many engineered systems whose increasingcomplexity and inter-connectedness have, in turn, increased theirvulnerability to adversarial attacks. In many of these systems,protecting the execution of their computations is as crucial asensuring the security of their data. This research investigates howto maintain survivable operation of such systems, even in the face ofinvasive attacks where computations are intentionally subverted tointerfere with other computations' execution constraints.The goal of this research is to develop new techniques for isolatingthe effects of interactions among computations through specificresources in these systems, including: flexible specification andrigorous enforcement of computations' execution constraints; explicitcontrol of all OS kernel components under a single scheduler; detailedon-line monitoring of computations and their supporting OS kernelcomponents; automated learning to discover previously unknowninteractions among computations; and formal modeling and verificationof computations, execution constraints, and system components andresources.The expected benefits of this project include: a novel approach tonon-bypassable isolation of computations from the effects ofadversarial attack in which isolation can be enforced flexiblyaccording to the system-specific execution constraints that must besatisfied; a high quality open-source software implementation ofkernel-level scheduling and monitoring services that provide andmeasure such non-bypassable isolation; new formal models, analyses,and methodologies for verifiably correct configuration and managementof those services; and empirical studies of the services' ability toprotect computations from interference under a wide range ofadversarial attacks.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CPS: Medium: Co-Designed Control and Scheduling Adaptation for Assured Cyber-Physical System Safety and Performance
  • 批准号:
    2229290
  • 项目类别:
    Standard Grant
  • 资助金额:
    $59.76万
  • 财政年份:
    2023
  • 负责人:
    Christopher Gill
  • 依托单位:
Putting Stoicism into Practice: Life-Guidance and Therapy
  • 批准号:
    AH/L007932/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $3.07万
  • 财政年份:
    2013
  • 负责人:
    Christopher Gill
  • 依托单位:
CPS: Synergy: Collaborative Research: Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems
  • 批准号:
    1329861
  • 项目类别:
    Standard Grant
  • 资助金额:
    $39.83万
  • 财政年份:
    2013
  • 负责人:
    Christopher Gill
  • 依托单位:
Marcus Aurelius, Meditations 1-6: Stoic Therapy and Psychological Health.
  • 批准号:
    AH/J001759/1
  • 项目类别:
    Fellowship
  • 资助金额:
    $9.45万
  • 财政年份:
    2012
  • 负责人:
    Christopher Gill
  • 依托单位:
国内基金
海外基金
甘草苷通过IFN-I/ISG15信号通路促进卵巢颗粒细胞外泌体分泌延缓卵巢衰老的作用机制
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    李璐邑
  • 依托单位:
ISG15/LFA-1调控肿瘤相关巨噬细胞浸润促进胆囊癌免疫逃逸的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    蔡炜龙
  • 依托单位:
ISG15类泛素化修饰多囊泡小体介导KNG1-PI3K/Akt信号轴在葡萄膜炎内皮屏障损伤中的作用机制研究
  • 批准号:
    JCZRQN202500743
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
  • 依托单位:
ISG15下调lncRNA RP11-5407.3介导细胞自噬促进子宫内膜癌进展的 作用及机制研究