课题基金 / 基金详情

TC: Medium: Collaborative Research: Next-Generation Infrastructure for Trustworthy Web Applications

TC: Medium: Collaborative Research: Next-Generation Infrastructure for Trustworthy Web Applications
TC:媒介:协作研究:值得信赖的 Web 应用程序的下一代基础设施
批准号:
0905650
负责人:
Cormac Flanagan
金额:
$30.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-01 至 2012-08-31

项目摘要

项目成果

Cormac Flanagan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Many services traditionally performed by stand-alone programs running on desktop computers are being migrated to ?Web 2.0? applications, remote services that reside ?in the cloud? and are that accessed through a browser. This migration process offers a unique opportunity to re-engineer the way that software is constructed, adding some extra capabilities that reduce the vulnerability of the global information infrastructure to problems such as viruses, cyber-attacks, loss of privacy, and integrity violations. With this goal in mind, this project designs and implements a next-generation infrastructure for trustworthy web applications. It evolves the existing Web 2.0 technologies into a more trustworthy ?Web 2.Sec? version by introducing information-labeling and strong information-flow controls pervasively at the service provider, at the user?s end, and on all paths in between. A key feature of the new Web 2.Sec architecture is that all application programs are executed on top of a virtual machine (VM) rather than directly on physical hardware. Hence the VM retains full control over the data at all times, allowing it to enforce information-flow policies that guarantee confidentiality and integrity. Even a malicious or faulty program running on top of the Web 2.Sec VM cannot cause any action that would violate these policies. A strong educational component involving both graduate and undergraduate students rounds off the project.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software Verification
  • 批准号:
    2243637
  • 项目类别:
    Standard Grant
  • 资助金额:
    $34.0万
  • 财政年份:
    2023
  • 负责人:
    Cormac Flanagan
  • 依托单位:
Collaborative Research: Disciplinary Improvements: Repeto: Building a Network for Practical Reproducibility in Experimental Computer Science
  • 批准号:
    2226407
  • 项目类别:
    Standard Grant
  • 资助金额:
    $92.99万
  • 财政年份:
    2022
  • 负责人:
    Cormac Flanagan
  • 依托单位:
SHF: Small: Collaborative Research: Synchronicity: A Framework for Synthesizing Concurrent Software from Sequential and Cooperative Specifications
  • 批准号:
    1813133
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2018
  • 负责人:
    Cormac Flanagan
  • 依托单位:
SHF: Small: Collaborative Research: Fast and Precise Dynamic Race Detection: Eliminating State and Checking Redundancy
  • 批准号:
    1421016
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.1万
  • 财政年份:
    2014
  • 负责人:
    Cormac Flanagan
  • 依托单位:
海外基金