Experiment artifacts for ASIACCS 2025 submission #175 (Q6709663)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Experiment artifacts for ASIACCS 2025 submission #175 |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Experiment artifacts for ASIACCS 2025 submission #175 |
Dataset published at Zenodo repository. |
Statements
Experiment artifacts for ASIACCS submission #175 Paper: "Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability" It contains # ProVerif Models In folder [codes](codes/), one can find ProVerif models. # Automatically Generated ProVerif Models for Topologies up to N In folder [Route-N](Route-N/), one can find ProVerif models for our corrected version automatically generated for any given number of switches. # RYU SDN Controller Implementation In folder [ryu](ryu/), one can find implementations using RYU SDN controller.
0 references
10 January 2025
0 references
