Skip to main content

Modelling of security-related interactions, in CSP or more evocative notations such as Milner's bigraphs

Supervisor

Sadie Creese
(World Economic Forum Cyber Security Centre, Strategic Advisory Board Member World Economic Forum Cyber Security Centre, Strategic Advisory Board Member)

Suitable for

MSc in Computer Science
Mathematics and Computer Science, Part C
Computer Science, Part C

Abstract

(Joint with Michael Goldsmith)

Modelling of security-related interactions, in CSP or more evocative notations such as Milner's bigraphs (http://www.springerlink.com/content/axra2lvj4ph81bdm/; http://www.amazon.co.uk/The-Space-Motion-Communicating-Agents/dp/0521738334/ref=sr_1_2?ie=UTF8&qid=1334845525&sr=8-2). Concurrency and Computer Security a distinct advantage. Appropriate for good 3rd or 4th year undergraduates or MSc. * Open to suggestions for other interesting topics in Cybersecurity, if anyone has a particular interest they would like to pursue.