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

点击翻译按钮获取中文摘要

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.