Communication protocol (CSP/FDR model checker) Modelling & Analysis of Security Protocols. Concurrent and Real-time Systems.
Budget: £20 – £250 GBP
Use Casper to evaluate security protocols while designing, analysing, and verifying a concurrent system using the CSP/FDR model checker.
Modelling & Analysis of Security Protocols.
Concurrent and Real-time Systems.
Principles of concurrent and distributed programming.
Modelling & Analysis of Security Protocols.
Concurrent and Real-time Systems.
Principles of concurrent and distributed programming.