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.
提供机构：
Zenodo创建时间：
2025-01-10
