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.