Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/giorgiosld/security-by-design
This repo contains the lab exercise about the course of Security by Design supplied in the Master Degree (LM-18) at the University of Camerino
https://github.com/giorgiosld/security-by-design
spin uppaal
Last synced: 2 months ago
JSON representation
This repo contains the lab exercise about the course of Security by Design supplied in the Master Degree (LM-18) at the University of Camerino
- Host: GitHub
- URL: https://github.com/giorgiosld/security-by-design
- Owner: giorgiosld
- License: mit
- Created: 2024-07-02T08:16:19.000Z (6 months ago)
- Default Branch: master
- Last Pushed: 2024-07-28T10:19:37.000Z (6 months ago)
- Last Synced: 2024-07-28T11:53:02.314Z (6 months ago)
- Topics: spin, uppaal
- Language: C
- Homepage:
- Size: 3.36 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Security by Design - Master Degree LM-18 (2023/2024)
This repository contains the lab assignments and project work for the Security by Design course taken at the University of Camerino. The course is part of the Master Degree LM-18 program for the academic year 2023/2024.
## Directory Structure
The repository is organized into the following directories:
- `Channels/`: Contains Promela (PML) files and Spin verification outputs for various channel communication models.
- `MutualExclusionWithSemaphore`: Includes PML files and Spin verification outputs for mutual exclusion problems, such as Peterson's algorithm and traffic light control models.
- `Needham-Schroeder`: This directory contains the final project report and related files for modeling the Needham-Schroeder protocol using Spin and UPPAAL
- `Queue`: Contains models and verification outputs related to queue mechanisms, including automata diagrams and Promela files.
- `RailroadCrossing`: Models related to the railroad crossing problem, focusing on mutual exclusion and controller designs.
- `README.md`: Project documentation.
- `Distributed_System_Report_Saldana.pdf`: Report delivered for the exam.### Needham-Schroeder
This directory contains the final project report and related files for modeling the Needham-Schroeder protocol using Spin and UPPAAL. The project involves identifying vulnerabilities such as Man-in-the-Middle (MITM) attacks and implementing fixes.- `ns.pml`: Original Needham-Schroeder protocol model in Promela.
- `ns_fix.pml`: Fixed version of the protocol.
- `ns.xml` and `ns_fix.xml`: Corresponding UPPAAL models.
- `Security_by_Design_Report.pdf`: Detailed report on the project findings and solutions.## License
This project is licensed under the MIT License - see the LICENSE file for details.