Analyzing and Validating Virtual Network Requests

Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache

2017

Abstract

In this paper, we address platforms developed to provide and configure virtual networks according to user’s request and needs. User requests are, however, not always accurate and can contain a number of inconsistencies. The requests need to be thoroughly analyzed and verified before being applied to such platforms. We consequently identify some important properties for the verification and classify them into three groups: a) functional or logic issues, b) resource allocation/dependency issues, and c) security issues. For each group, we propose an effective way to check the request consistency. The issues of the first group are checked with the use of scalable Boolean matrix operations. The properties of the second group can be verified through the use of an appropriate system of logic implications. When checking the issues of the third group, the corresponding string analysis can be utilized. All the techniques discussed in the paper are followed by a number of illustrating examples.

Paper Citation

in Harvard Style

López J., Kushik N., Yevtushenko N. and Zeghlache D. (2017). Analyzing and Validating Virtual Network Requests . In Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-262-2, pages 441-446. DOI: 10.5220/0006472304410446

in Bibtex Style

@conference{icsoft17,
author={Jorge López and Natalia Kushik and Nina Yevtushenko and Djamal Zeghlache},
title={Analyzing and Validating Virtual Network Requests},
booktitle={Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2017},
pages={441-446},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006472304410446},
isbn={978-989-758-262-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Analyzing and Validating Virtual Network Requests
SN - 978-989-758-262-2
AU - López J.
AU - Kushik N.
AU - Yevtushenko N.
AU - Zeghlache D.
PY - 2017
SP - 441
EP - 446
DO - 10.5220/0006472304410446