Dobre, Rares-Andrei (2022) A dynamic approach to protocol conformance verification using multiparty session types. Bachelor's Thesis, Computing Science.
|
Text
bCS_2022_DobreRA.pdf Download (6MB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf Restricted to Registered users only Download (130kB) |
Abstract
In distributed systems, communication is realised through the interchange of messages between various participants. Session types abstract this communication by specifying the types of messages exchanged between two peers. The theory of session types addresses the correctness of such message-passing programs by analysing their source code against communication protocols. We propose to implement a tool based on the theory of session types by Van den Heuvel and Pérez in 2022, to verify the correctness of message-passing programs in a distributed and asynchronous manner. We implement a tool to verify each component of a message-passing system locally. To this end, the tool will create new, distributed components to act on behalf of each communicating party, inspect and verify the message exchanges, and assess the conformance to a protocol using multiparty session types. We then test the aforementioned tool against an authorization protocol. The implemented tool provides a new, dynamic method to assess the conformance to a protocol of multiple participants.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Perez Parra, J.A. and Heuvel, B. van den |
| Degree programme: | Computing Science |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 12 Jul 2022 11:40 |
| Last Modified: | 12 Jul 2022 11:40 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/27758 |
Actions (login required)
 |
View Item |