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

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

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.