Academic Centre of Excellence in Cyber Security Research - King's College London

伦敦国王学院(KCL)是一所以研究为主导的大学，成立于1829年(英国历史第四)，是世界前25所大学之一(2017-18年QS国际排名)。当前的英皇2029年战略愿景展望了KCL在2029年成立200周年，利用KCL的广泛专业知识促进多学科和跨学科的研究，以实现变革性的进步，并产生可迅速应用于全球产生影响的新见解，其中有4个重叠的主题，包括社会正义，它涵盖了正义、预防和网络安全等问题。特别是，KCL未来5年的网络安全愿景是进行高质量、有影响力的跨学科研究，特别是利用现有的网络安全能力，同时也要培育和发展它，愿景是成为三个主要研究主题及其相互关系的值得注意的ACE-CSR：*AI网络安全。这既包括将人工智能用于网络安全(包括机器学习等数据驱动的技术，也包括基于知识的技术，如论证、规范系统、信任)，以及人工智能本身的网络安全(包括安全、信任、隐私和透明度保证)。*正式的网络安全。这包括网络安全的理论方面，例如用于验证和测试的理论计算机科学方法，以提供安全协议、移动和网络应用程序、网络物理系统和物联网的保证、正确性和技术准备。*战略网络安全。其中包括网络保安的社会政治和策略层面，例如网络风险、网络威胁、网络情报、网络政策和网络防御，以及它们与风险评估、管理和管治的关系。这三个主题反映了吉隆坡目前的主要网络安全优势，以及与吉隆坡其他主要优势的跨学科联系，特别是人工智能、理论计算机科学，以及冲突和安全研究。从战略上讲，这些主题相互交织、相辅相成，对于理解和应对不断演变的网络安全挑战的复杂性至关重要。例如，人工智能支持的网络情报对民族国家的战略和防御正变得越来越重要，它位于人工智能网络安全和战略网络安全的交汇点；同样，正式验证可以带来的人工智能和自主系统所需的安全保证位于人工智能网络安全和正式网络安全的交叉点。

King's College London (KCL) is a research-led university established in 1829 (4th oldest in England), and one of the top 25 universities in the world (2017-18 QS international world rankings). The current King's Strategic Vision 2029, which looks forward to KCL's 200th anniversary in 2029, leverages the breadth of expertise across KCL to promote multi- and inter-disciplinary research to enable transformative advances and produce new insights that can be applied rapidly to deliver impact across the world, with 4 overlapping themes, including social justice, which encompasses issues like justice, prevention, and cyber security. In particular, KCL's cyber security vision for the next 5 years is to conduct high-quality, impactful, and inter-disciplinary research, particularly leveraging current cyber security capability but also nurturing and growing it, with the vision to becoming the ACE-CSR of note for 3 main research themes and their interrelationship:* AI Cyber Security. This comprises both the use of AI for cyber security (including data-driven techniques such as Machine Learning, but also knowledge-based techniques such as Argumentation, Normative Systems, Trust), and the cyber security of AI itself (including security, trust, privacy and transparency guarantees).* Formal Cyber Security. This includes the theoretical aspects of cyber security such as theoretical computer science approaches for verification and testing to provide assurance, correctness and technology-readiness of security protocols, mobile and web applications, cyber-physical systems and the Internet of Things.* Strategic Cyber Security. This includes the socio-political and strategic aspects of cyber security such as cyber risks, cyber threats, cyber intelligence, cyber policy and cyber defence, and their relationship to risk assessment, management and governance.These 3 themes reflect the key current cyber security strengths at KCL and the inter-disciplinary link to other key KCL strengths, notably AI, theoretical computer science, and conflict and security studies. Strategically, the themes are intertwined and complementary, and they are crucial to understanding and tackling the complex nature of evolving cyber security challenges. For instance, AI-powered cyber intelligence is becoming increasingly important for the strategy and defence of nation-states, and it lies at the intersection of AI Cyber Security and Strategic Cyber Security; likewise, the security guarantees that are needed for AI and Autonomous Systems, which formal verification can bring, lie at the intersection of AI Cyber Security and Formal Cyber Security.