Low-level system software support for information security
Low-level system software support for information security
批准号:
293209-2007
负责人:
Lie, David
金额:
$1.82万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2007
资助国家:
加拿大
项目状态:
已结题
起止时间:
2007-01-01 至 2008-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Computer security is of paramount importance in our highly technology-reliant society. Many people rely on computer systems to conduct business, communicate with friends and family, and manage their personal information. Unfortunately, the safety and security of our current computing systems is not adequate for amount of trust people place in them. The proposed research aims to improve the security of our computer systems by securing the foundation upon which they run, which is composed of low-level systems software such as the operating system and the software layers below it. Securing this low-level software will not only make our computing infrastructure secure, but will reduce the cost of adoption by leaving higher-level software such as applications and servers intact.This proposed research will achieve these goals by exploring mechanisms and techniques that can be incorporated into two low-level systems layers: operating system kernels and virtual machine monitors (VMM). The VMM is software layer that runs underneath the operating system kernel. The proposal will aim to improve computer system security through three main thrusts of research. One thrust will explore the use of VMMs to create secure containers that will be able to protect critical software and data from attack. Another thrust will explore the use of VMMs to detect and eradicate malicious software that has infected critical software on a system, including the operating system. The final thrust will leverage current commodity multi-core processors to allow the operating system kernel to better fend off attacks. This research will produce a more secure foundation for our current computing infrastructure, thus allowing businesses, individuals and governments to have more confidence in the safety and security of their computing systems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2022
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Systems
-
批准号:CRC-2019-00242
-
项目类别:Canada Research Chairs
-
资助金额:$14.57万
-
财政年份:2022
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2021
-
负责人:Lie, David
-
依托单位:
Tools and methods for detecting vulnerabilities in embedded devices
-
批准号:535902-2018
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.19万
-
财政年份:2021
-
负责人:Lie, David
-
依托单位:
Mitigating Software Vulnerabilities with Architectural Support for Type-safety
-
批准号:541942-2019
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$12.76万
-
财政年份:2021
-
负责人:Lie, David
-
依托单位:
Secure And Reliable Systems
-
批准号:CRC-2019-00242
-
项目类别:Canada Research Chairs
-
资助金额:$14.57万
-
财政年份:2021
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Mitigating Software Vulnerabilities with Architectural Support for Type-safety
-
批准号:541942-2019
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$12.76万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Systems
-
批准号:CRC-2019-00242
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Tools and methods for detecting vulnerabilities in embedded devices
-
批准号:535902-2018
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.19万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Tools and methods for detecting vulnerabilities in embedded devices
-
批准号:535902-2018
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.19万
-
财政年份:2019
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2019
-
负责人:Lie, David
-
依托单位:
Mitigating Software Vulnerabilities with Architectural Support for Type-safety
-
批准号:541942-2019
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$6.73万
-
财政年份:2019
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2018
-
负责人:Lie, David
-
依托单位:
Computational tools for analyzing and detecting software supply chain attacks
-
批准号:474601-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.1万
-
财政年份:2017
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Computer Systems
-
批准号:1000228402-2012
-
项目类别:Canada Research Chairs
-
资助金额:$3.64万
-
财政年份:2017
-
负责人:Lie, David
-
依托单位:
An Information Flow Approach to Data Security
-
批准号:293209-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2017
-
负责人:Lie, David
-
依托单位:
Computational tools for analyzing and detecting software supply chain attacks
-
批准号:474601-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.1万
-
财政年份:2016
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Computer Systems
-
批准号:1000228402-2012
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2016
-
负责人:Lie, David
-
依托单位:
An Information Flow Approach to Data Security
-
批准号:293209-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2015
-
负责人:Lie, David
-
依托单位:
国内基金
海外基金
登录
查看更多内容
外周犬尿氨酸通过脑膜免疫致海马BDNF水平降低介导术后认知功能障碍
-
批准号:82371193
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:苏殿三
-
依托单位:
海马神经元胆固醇代谢重编程致染色质组蛋白乙酰化水平降低介导老年小鼠术后认知功能障碍
-
批准号:82371192
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:田婕
-
依托单位:
粒子level set方法的改进与空间自适应波浪模型并行化研究
-
批准号:52171245
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:黄筱云
-
依托单位:
多层次纳米叠层块体复合材料的仿生设计、制备及宽温域增韧研究
-
批准号:51973054
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2019
-
负责人:王建锋
-
依托单位:
无振荡可压缩两相流切割网格方法及其在激波诱导气泡塌陷中的应用研究
-
批准号:11702272
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2017
-
负责人:林健宇
-
依托单位:
含有表面活性剂的液体浸润的模型和数值计算
-
批准号:11601221
-
项目类别:青年科学基金项目
-
资助金额:18.0万元
-
批准年份:2016
-
负责人:张振
-
依托单位:
基于高频限价指令簿的流动性度量及对市场波动影响机制研究
-
批准号:71601091
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2016
-
负责人:孙便霞
-
依托单位:
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
-
批准号:11502121
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2015
-
负责人:张莉
-
依托单位:
非球对称单气穴声致发光问题的直接数值模拟
-
批准号:11501173
-
项目类别:青年科学基金项目
-
资助金额:18.0万元
-
批准年份:2015
-
负责人:丁岩
-
依托单位:
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
-
批准号:41401376
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2014
-
负责人:陈建胜
-
依托单位: