Secure and Reliable Systems

安全可靠的系统

• 批准号: CRC-2019-00242
• 负责人: Lie, David
• 金额: $ 7.29万
• 依托单位: University of Toronto
• 依托单位国家: 加拿大
• 项目类别: Canada Research Chairs
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=695726
• 关键词: Secure; Reliable; Systems

The ``Internet of Things'' will realize a world where we depend on computing devices every second of our lives. It is critical that end-users, who do not have access to source code and in some cases, do not even have access to software binaries, have techniques to verify the security and safety of the devices they use, rather than blindly place complete trust in the device vendors. This proposal seeks to develop such methods using a combination of dynamic test generation, machine learning and code analysis techniques.

“物联网”将实现一个我们依赖计算设备的世界 我们生命中的每一秒。 至关重要的是，无法访问的最终用户 源代码，在某些情况下，甚至无法访问软件二进制文件， 有技术来验证他们使用的设备的安全性和安全性，而不是 盲目地完全信任设备供应商。该提案旨在发展 这种方法结合了动态测试生成、机器学习 和代码分析技术。