Academic Centre of Excellence in Cyber Security Research - Imperial College London

网络安全研究卓越学术中心 - 伦敦帝国理工学院

• 批准号: EP/K00414X/1
• 负责人: Emil Lupu
• 金额: $ 6.38万
• 依托单位: Imperial College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2012
• 资助国家: 英国
• 起止时间: 2012 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FK00414X%2F1
• 关键词: Academic; Centre; Excellence; Cyber; Security

The Imperial College Centre of Excellence in Cyber Security Research focuses on the engineering and design of secure and resilient software systems, addressing security issues both early in the design cycle through formal analysis and verification, and during its operation through maintenance and system adaptation. Broadly, we group the activities of the centre in research themes that concern:i) Security Analysis and System Verification covering High Assurance Software, Static and Dynamic Analysis of Products and Systems, Software Engineering Techniques, Provable Security, and Formal Methodsii) Operational Systems and Information Assurance covering Access Control, Privacy, Intrusion and Anomaly Detection, Intrusion Tolerance Techniques, Data Centric Security, Recovery Techniques, Real-Time Situational Awareness, Trust and Risk, and Key management.The themes are applied in a variety of contexts, from embedded sensing systems such as body area networks for healthcare, through infrastructure monitoring, unmanned autonomous systems, operating systems, middleware and large scale distributed systems architectures to web-based and cloud computing environments.

帝国理工学院网络安全研究卓越中心专注于安全和弹性软件系统的工程和设计，通过正式的分析和验证在设计周期的早期解决安全问题，并通过维护和系统适应在其运行期间解决安全问题。从广义上讲，我们将中心的活动分为以下研究主题：i）安全分析和系统验证，涵盖高保证软件、产品和系统的静态和动态分析、软件工程技术、可证明的安全性和正式方法ii）操作系统和信息保证，涵盖访问控制、隐私、入侵和异常检测、入侵容忍技术、数据中心安全、恢复技术、实时态势感知、信任和风险以及密钥管理。主题应用于各种环境，从嵌入式传感系统（例如用于医疗保健的体域网），通过基础设施监控、无人自治系统、操作系统、中间件和大规模分布式系统架构，到基于Web的和云计算环境。