Demonstrate the application of formalisms to specify system properties using CSP
Use tools and analysis techniques to study and reason about critical properties of the
concurrent systems, including security protocols