Concurrent Systems (CSP/FDR model checker) Communication Protocol

Job ID: 35477668

Budget: £20 – £250 GBP

Use Casper to evaluate security protocols while designing, analysing, and verifying a concurrent system using the CSP/FDR model checker.

Related categories: C Programming Web Security Computer Security C++ Programming Internet Security