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

点击翻译按钮获取中文摘要

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.