Formal methods applied to the security of a range of internet protocols

适用于一系列互联网协议安全的形式化方法

• 批准号: 2744585
• 金额: --
• 依托单位: Royal Holloway University of London
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2021
• 资助国家: 英国
• 起止时间: 2021 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2744585
• 关键词: Formal; methods; applied; security; range

Project aims to use formal methods techniques, in particular formal verification, to investigate various protocols and systems to provide assurances of the required security properties, or otherwise find security issues. During the thesis, alongside case studies there should be contribution to improving the tools/techniques available for performing such analyses, in particular improving the DY* framework to allow a wider range of protocols to be more easily analysed under the symbolic model.

项目旨在使用形式化方法技术，特别是形式化验证，来调查各种协议和系统，以提供所需安全属性的保证，或以其他方式发现安全问题。在论文中，除了案例研究，应该有贡献，以改善工具/技术可用于执行此类分析，特别是改善DY* 框架，使更广泛的协议，更容易分析下的符号模型。