CSP PAT Projects (choose one only)

The final project will be assessed for


Here are the choices:

1 Needham--Schroeder Public Key Protocol (1-2 person team)
The Needham-Schroeder Public Key Protocol is a well known authentication protocol that dates back to 1978. It aims to establish mutual authentication between an initiator A and a responder B, after which some session involving the exchange of messages between A and B can take place.
The BEEM description can be found at: here The detailed explanation of the protocol is in the section 2 of this paper: here


2 Distributed system for lifting trucks (1-2 person team)
The system consists of an arbitrary number of lifts. Each lift supports one wheel of a vehicle. The system is operated by means of buttons on the lifts. Lifts are connected by a bus. The model describes the startup phase and the up/down synchronization mechanism.
The BEEM description can be found at: here
The detailed explanation of the protocol is in this paper: here


3 Telecommunication service (1-2 person team)
Model of a telecommunication service with some features (call forward when busy, ring back when free).
The BEEM description can be found at: here
The detailed explanation of the protocol is in this paper: here


4 Driving Philosophers (1-2 person team)
The Driving Philosophers is a new synchronization problem in mobile ad-hoc systems. In this problem, an unbounded number of driving philosophers (processes) try to access a round-about (set of shared resources, organized along a logical ring).
The BEEM description can be found at: here
The detailed explanation of the protocol is in this paper: here