Software Reliability and Security

软件可靠性和安全性

• 批准号: CRC-2016-00203
• 负责人: Zulkernine, Mohammad
• 金额: $ 7.29万
• 依托单位: Queen's University
• 依托单位国家: 加拿大
• 项目类别: Canada Research Chairs
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=692814
• 关键词: Software; Reliability; Security

The security and reliability of software systems are of prime importance to ensure useful and trustworthy environments of ever-growing digital control. This research program will propose a variety of techniques for building reliable and secure software by addressing reliability and security issues in different stages of a software development life cycle and subsequent monitoring during operation. The significance of this research is in the design of advanced methods and automatic tools to develop secure and reliable software systems and to detect intrusions and failures. The research will also ensure protection of next generation mobile and cloud computing environments.

软件系统的安全性和可靠性对于确保日益增长的数字控制环境的有用性和可靠性至关重要。本研究计划将提出各种技术，通过解决软件开发生命周期不同阶段的可靠性和安全性问题，以及在运行期间的后续监控，来构建可靠和安全的软件。本研究的意义在于设计先进的方法和自动化工具来开发安全可靠的软件系统，并检测入侵和故障。该研究还将确保下一代移动和云计算环境的保护。