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

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

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.