Experiment artifacts for ASIACCS 2025 submission #175
From MaRDI portal
(Redirected from Experiment artifacts for ASIACCS 2025 submission)
Experiment artifacts for ASIACCS 2025 submission 175
Experiment artifacts for ASIACCS 2025 submission 175
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.
This page was built for dataset: Experiment artifacts for ASIACCS 2025 submission #175
