Efficient Service Chain Verification Using Sketches and Small Samples

Reuven Cohen; Liran Katzir; Aviv Yehezkel

doi:10.1109/NFV-SDN53031.2021.9665020

Efficient Service Chain Verification Using Sketches and Small Samples

Reuven Cohen, Liran Katzir, Aviv Yehezkel

Computer Science

Technion - Israel Institute of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

A service function chain defines an ordered or partially ordered set of abstract service functions and ordering constraints that must be applied to packet flows as a result of classification. Service chain verification is an important logic, which should verify that each flow indeed traverses the intended set of services, and in the desired order. In this paper we address this service chain verification problem in a new way. The main idea is to convert each service chain verification instance to its 'equivalent set-expression cardinality equation,' and to use statistical algorithms to verify that each equation is satisfied.

Original language	English
Title of host publication	2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings
Editors	Larry Horner, Kurt Tutschku, Molka Gharbaoui, Antonio de la Oliva, Chiara Contoli, Helge Parzyjegla
Pages	1-7
Number of pages	7
ISBN (Electronic)	9781665439831
DOIs	https://doi.org/10.1109/NFV-SDN53031.2021.9665020
State	Published - 2021
Event	2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Virtual, Heraklion, Greece Duration: 9 Nov 2021 → 11 Nov 2021

Publication series

Name	2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings

Conference

Conference	2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021
Country/Territory	Greece
City	Virtual, Heraklion
Period	9/11/21 → 11/11/21

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Hardware and Architecture
Software
Information Systems and Management
Modelling and Simulation

Access to Document

10.1109/NFV-SDN53031.2021.9665020

Cite this

Cohen, R., Katzir, L., & Yehezkel, A. (2021). Efficient Service Chain Verification Using Sketches and Small Samples. In L. Horner, K. Tutschku, M. Gharbaoui, A. de la Oliva, C. Contoli, & H. Parzyjegla (Eds.), 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings (pp. 1-7). (2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings). https://doi.org/10.1109/NFV-SDN53031.2021.9665020

Cohen, Reuven ; Katzir, Liran ; Yehezkel, Aviv. / Efficient Service Chain Verification Using Sketches and Small Samples. 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings. editor / Larry Horner ; Kurt Tutschku ; Molka Gharbaoui ; Antonio de la Oliva ; Chiara Contoli ; Helge Parzyjegla. 2021. pp. 1-7 (2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings).

@inproceedings{aab7f62a87504ae48b16e223e0666d03,

title = "Efficient Service Chain Verification Using Sketches and Small Samples",

abstract = "A service function chain defines an ordered or partially ordered set of abstract service functions and ordering constraints that must be applied to packet flows as a result of classification. Service chain verification is an important logic, which should verify that each flow indeed traverses the intended set of services, and in the desired order. In this paper we address this service chain verification problem in a new way. The main idea is to convert each service chain verification instance to its 'equivalent set-expression cardinality equation,' and to use statistical algorithms to verify that each equation is satisfied.",

author = "Reuven Cohen and Liran Katzir and Aviv Yehezkel",

note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 ; Conference date: 09-11-2021 Through 11-11-2021",

year = "2021",

doi = "10.1109/NFV-SDN53031.2021.9665020",

language = "الإنجليزيّة",

series = "2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings",

pages = "1--7",

editor = "Larry Horner and Kurt Tutschku and Molka Gharbaoui and {de la Oliva}, Antonio and Chiara Contoli and Helge Parzyjegla",

booktitle = "2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings",

}

Cohen, R, Katzir, L & Yehezkel, A 2021, Efficient Service Chain Verification Using Sketches and Small Samples. in L Horner, K Tutschku, M Gharbaoui, A de la Oliva, C Contoli & H Parzyjegla (eds), 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings. 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings, pp. 1-7, 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021, Virtual, Heraklion, Greece, 9/11/21. https://doi.org/10.1109/NFV-SDN53031.2021.9665020

Efficient Service Chain Verification Using Sketches and Small Samples. / Cohen, Reuven; Katzir, Liran; Yehezkel, Aviv.
2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings. ed. / Larry Horner; Kurt Tutschku; Molka Gharbaoui; Antonio de la Oliva; Chiara Contoli; Helge Parzyjegla. 2021. p. 1-7 (2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Efficient Service Chain Verification Using Sketches and Small Samples

AU - Cohen, Reuven

AU - Katzir, Liran

AU - Yehezkel, Aviv

PY - 2021

Y1 - 2021

N2 - A service function chain defines an ordered or partially ordered set of abstract service functions and ordering constraints that must be applied to packet flows as a result of classification. Service chain verification is an important logic, which should verify that each flow indeed traverses the intended set of services, and in the desired order. In this paper we address this service chain verification problem in a new way. The main idea is to convert each service chain verification instance to its 'equivalent set-expression cardinality equation,' and to use statistical algorithms to verify that each equation is satisfied.

AB - A service function chain defines an ordered or partially ordered set of abstract service functions and ordering constraints that must be applied to packet flows as a result of classification. Service chain verification is an important logic, which should verify that each flow indeed traverses the intended set of services, and in the desired order. In this paper we address this service chain verification problem in a new way. The main idea is to convert each service chain verification instance to its 'equivalent set-expression cardinality equation,' and to use statistical algorithms to verify that each equation is satisfied.

UR - http://www.scopus.com/inward/record.url?scp=85125016740&partnerID=8YFLogxK

U2 - 10.1109/NFV-SDN53031.2021.9665020

DO - 10.1109/NFV-SDN53031.2021.9665020

M3 - منشور من مؤتمر

T3 - 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings

SP - 1

EP - 7

BT - 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings

A2 - Horner, Larry

A2 - Tutschku, Kurt

A2 - Gharbaoui, Molka

A2 - de la Oliva, Antonio

A2 - Contoli, Chiara

A2 - Parzyjegla, Helge

T2 - 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021

Y2 - 9 November 2021 through 11 November 2021

ER -

Cohen R, Katzir L, Yehezkel A. Efficient Service Chain Verification Using Sketches and Small Samples. In Horner L, Tutschku K, Gharbaoui M, de la Oliva A, Contoli C, Parzyjegla H, editors, 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings. 2021. p. 1-7. (2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings). doi: 10.1109/NFV-SDN53031.2021.9665020

Efficient Service Chain Verification Using Sketches and Small Samples

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this