TC: Medium: Collaborative Research: Next-Generation Infrastructure for Trustworthy Web Applications
TC: Medium: Collaborative Research: Next-Generation Infrastructure for Trustworthy Web Applications
批准号:
0905650
负责人:
Cormac Flanagan
金额:
$30.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-01 至 2012-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
SHF: Small: Collaborative Research: Static and Dynamic Analysis for Cooperative Concurrency
-
批准号:1116883
-
项目类别:Standard Grant
-
资助金额:$35.95万
-
财政年份:2011
-
负责人:Cormac Flanagan
-
依托单位:
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
-
批准号:0707885
-
项目类别:Continuing Grant
-
资助金额:$15.0万
-
财政年份:2007
-
负责人:Cormac Flanagan
-
依托单位:
Checking Atomicity for Improved Multithreaded Software Reliability
-
批准号:0341179
-
项目类别:Standard Grant
-
资助金额:$25.78万
-
财政年份:2003
-
负责人:Cormac Flanagan
-
依托单位:
海外基金