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]

Authors

Fulvio Valenza

This author has not been identified. Look up 'Fulvio Valenza' in Google

Serena Spinoso

This author has not been identified. Look up 'Serena Spinoso' in Google

Riccardo Sisto

This author has not been identified. Look up 'Riccardo Sisto' in Google