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

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

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.