Formally specifying and checking policies and anomalies in service function chaining

Fulvio Valenza, Serena Spinoso, Riccardo Sisto. Formally specifying and checking policies and anomalies in service function chaining. J. Network and Computer Applications, 146, 2019. [doi]

Abstract

Abstract is missing.