Can I read Concurrent Systems Analysis Assignment on EtoBox?

Concurrent Systems Analysis Assignment by Asfa Saad is a document available to read on EtoBox.

What is Concurrent Systems Analysis Assignment about?

This document specifies an assignment to model and verify the Kerberos authentication protocol using the NuSMV model checker. Students are asked to: 1. Design a state transition diagram and model the protocol interactions between 4 agents (client, server, authentication server, intruder) in NuSMV code. 2. Express 6 authentication and secrecy properties using CTL or LTL to verify in the model. 3. Demonstrate verification of all properties by running the NuSMV code and including a video showing execution

Author

Asfa Saad

Language

EN