Formal verification approach for communication protocols in a Fog Computing environment.
| dc.contributor.author | Grabsi Zined Ms. Roudelsi Rania | |
| dc.date.accessioned | 2025-02-09T08:48:55Z | |
| dc.date.available | 2025-02-09T08:48:55Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | Fog computing has emerged as a promising paradigm for handling the increasing demands of modern communication systems, particularly in the context of the Internet of Things (IoT). This thesis provides an overview of the formal verification approach for communication protocols in fog computing environments. With the proliferation of interconnected devices and the critical need for reliable communication, ensuring the correctness and security of communication protocols becomes paramount. We explore various formal verification techniques, including model checking, and discuss their applicability in verifying the correctness of communication protocols deployed in fog computing environments. Additionally, we highlight the challenges and opportunities in this area, such as scalability issues, handling dynamic network topologies, and addressing security concerns. By leveraging formal verification techniques, we aim to enhance the reliability and robustness of communication protocols in fog computing, ultimately contributing to the advancement of this rapidly evolving field. | |
| dc.identifier.uri | http://dspace.univ-khenchela.dz:4000/handle/123456789/7804 | |
| dc.language.iso | en | |
| dc.title | Formal verification approach for communication protocols in a Fog Computing environment. | |
| dc.type | Thesis |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Formal verification approach for communication protocols in a Fog Computing environment.pdf
- Size:
- 1.53 MB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed to upon submission
- Description: