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

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

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

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.

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