Kaki: efficient concurrent update synthesis for SDN

DOI10.1145/3605952MaRDI QIDQ6611958zbMATH OpenFDO

Authors Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jiří Srba, Rasmus G. Tollund

Publication date 27 September 2024

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3605952

zbMATH Keywords

computer networksconcurrent update synthesissecurity policiessoftware defined networking

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Kaki: concurrent update synthesis for regular policies via Petri games
• Automatic synthesis of transiently correct network updates via Petri games
• Optimal consistent network updates in polynomial time
• Synchronization synthesis for network programs
• Transiently consistent SDN updates: being greedy is hard

Cites work

• \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
• Automatic synthesis of transiently correct network updates via Petri games
• Kaki: concurrent update synthesis for regular policies via Petri games
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• Scheduling loop-free network updates: it's good to relax!
• TAPAAL 2.0: integrated development environment for timed-arc Petri nets

This page was built for publication: Kaki: efficient concurrent update synthesis for SDN

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6611958)