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

帝国理工学院是首批公认的卓越网络安全研究学术中心之一，在英国发挥着重要的领导作用。Imperial领导着程序分析与验证研究所和值得信赖的工业控制系统研究所，在Petras IoT研究中心-物联网网络安全的创建和运行中发挥了重要作用，并参与了其他大规模合作。该中心旨在利用其在工程学和自然科学方面的卓越研究成果，应对在网络安全方面具有国家重要性的困难挑战。为了实现这一目标，它与包括政府和行业在内的外部利益攸关方密切合作。该中心的策略包括招聘和发展有才华的员工，以及整合安全科学和技术活动的研究，透过内部和外部合作扩展研究计划，以及利用其他工程和自然科学领域的研究成果和专业知识来应付网络安全挑战。中心有25名成员，分布在多个学院院系和多个研究小组，涵盖广泛的研究范畴。更多的准成员带来了特定领域的其他专门知识。该中心的重点是设计和设计安全和有复原力的计算机系统，在设计周期早期通过正式分析和核查解决安全问题，并在运行期间通过维护和系统调整解决安全问题。大体上，我们将中心的活动归类为涉及以下主题的研究主题：i.安全分析和系统验证，涵盖构建可信和值得信赖的系统、产品和系统的静态和动态分析、软件工程技术、可证明安全和形式化方法。操作系统和信息保障涵盖以数据为中心的安全、隐私、入侵和异常检测、入侵容忍技术、以数据为中心的安全、恢复技术、实时态势感知、信任和风险管理。主题应用于从嵌入式传感系统和物联网到自治系统、工业控制系统、分布式系统、中间件和云环境的各种环境。该中心积极鼓励和寻求与世界各地的公共和私营部门合作伙伴的合作。

The Centre at Imperial was one of the first recognised academic centres of excellence in Cyber Security Research and is playing a significant leadership role in the UK. Imperial is leading the Research Institute on Program Analysis and Verification and the Research Institute in Trustworthy Industrial Control Systems, has played a major role in the creation and running of the PETRAS IoT Research Hub - Cybersecurity of the Internet of Things, and is involved in other large scale collaborations. The Centre aims to address difficult challenges of national importance in cyber-security leveraging its excellence in research in both engineering and the natural sciences. To achieve this it works in close partnership with external stakeholders including both government and industry. The Centre's strategy combines recruitment and development of talented staff, with integration of research across security science and technology activities, expansion of the research programme through both internal and external collaborations and through using research outcomes and expertise from other engineering and natural sciences areas to address cybersecurity challenges.The Centre comprises 25 members across several College departments and numerous research groups covering a broad portfolio of research. Further associate members bring in additional expertise in specific areas. This Centre focuses on the engineering and design of secure and resilient computer 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 Building Trusted and Trustworthy Systems, Static and Dynamic Analysis of Products and Systems, Software Engineering Techniques, Provable Security, and Formal Methodsii. Operational Systems and Information Assurance covering Data-Centric Security, Privacy, Intrusion and Anomaly Detection, Intrusion Tolerance Techniques, Data Centric Security, Recovery Techniques, Real-Time Situational Awareness, Trust and Risk management.The themes are applied in a variety of contexts, from embedded sensing systems and IoT, to autonomous systems, Industrial Control Systems, distributed systems, middleware and Cloud environments. The centre actively encourages and pursues collaborations with public and private sector partners worldwide.