Collaborative Research: SecureCore for Trustworthy Commodity Computing and Communications
Collaborative Research: SecureCore for Trustworthy Commodity Computing and Communications
批准号:
0430487
负责人:
Ruby Lee
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2005
资助国家:
美国
项目状态:
已结题
起止时间:
2005-04-01 至 2010-03-31
中文摘要
SecureCore项目将研究和设计一个安全的集成核心架构,用于移动计算设备的可靠操作,包括:一个安全感知的通用处理器,一个小型安全内核和一组基本的安全通信协议。该研究将使用“干净的石板”方法来定义这种安全核心所需的基本架构特征的最小集合,用于资源受限的、无处不在的计算平台,例如安全嵌入式系统(例如,心脏监视器中的计算机)、口袋设备(例如,非接触式智能卡)和移动计算设备(例如,手持网络计算机)。这种方法表明,在一开始就设计安全性,而不是在事后添加安全性,可以实现什么。它也改变了设计范式,从强调性能到一个值得信赖的,可靠的操作。目标是在不影响性能、大小、成本、能耗或可用性的情况下实现所需的安全级别。威胁模型将在不断联网的商品设备和互联网规模的流行病(如DDoS、蠕虫和病毒)的新背景下重新检查。更广泛的影响是为普适计算环境中的可信计算、通信和存储提供科学基础。如果SecureCore的架构影响到未来可信赖商品的设计,以及计算机硬件和软件工程教育的课程,那么它的影响将是巨大的。
英文摘要
The SecureCore project will investigate and design a secure integrated core architecture for trustworthy operation of mobile computing devices consisting of: a security-aware general-purpose processor, a small security kernel and a small set of essential secure communications protocols. The research will use a "clean slate" approach to define a minimal set of fundamental architectural features required for such a secure core, for use in resource-constrained, ubiquitous computing platforms exemplified by secure embedded systems (e.g., computer in a heart monitor), pocket devices (e.g., contact-less smart card), and mobile computing devices (e.g., handheld web-enabled computer). This approach shows what is possible when security is designed in at the beginning rather than added as an after-thought. It also changes the design paradigm from an emphasis on performance to one on trustworthy, dependable operation. The goal is to achieve the desired security levels without compromising performance, size, cost, energy consumption, or usability. Threat models will be re-examined in the new context of continuously networked commodity devices and Internet-scale epidemics such as DDoS, worms and viruses. The broader impact is to provide the scientific basis for trustworthy computing, communications and storage in pervasive computing environments. SecureCore impact will be immense if its architecture influences the design of future trustworthy commodity products, as well as the curriculum for computer hardware and software engineering education.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: STARSS: Small: Collaborative: Design and Security Verification of Next-Generation Open-Source Processors
-
批准号:1814190
-
项目类别:Standard Grant
-
资助金额:$16.56万
-
财政年份:2018
-
负责人:Ruby Lee
-
依托单位:
STARSS: Small: Collaborative: Practical and Scalable Security Verification of Security-Aware Hardware Architectures
-
批准号:1526493
-
项目类别:Standard Grant
-
资助金额:$13.33万
-
财政年份:2015
-
负责人:Ruby Lee
-
依托单位:
CSR: Small: Cloud Security on Demand
-
批准号:1218817
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Ruby Lee
-
依托单位:
SHF: Small: Rethinking Computer Architecture for Secure and Resilient Systems
-
批准号:0917134
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2009
-
负责人:Ruby Lee
-
依托单位:
ITR: Architectures and Design Methodologies for Secure Low-Power Embedded Systems
-
批准号:0326372
-
项目类别:Standard Grant
-
资助金额:$52.5万
-
财政年份:2003
-
负责人:Ruby Lee
-
依托单位:
Architectural Solutions for Preventing Distributed Denial of Service Attacks
-
批准号:0208946
-
项目类别:Standard Grant
-
资助金额:$19.63万
-
财政年份:2002
-
负责人:Ruby Lee
-
依托单位:
Instruction Set Architecture for Pervasive Security
-
批准号:0105677
-
项目类别:Continuing Grant
-
资助金额:$25.66万
-
财政年份:2001
-
负责人:Ruby Lee
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: