Home // SECURWARE 2018, The Twelfth International Conference on Emerging Security Information, Systems and Technologies // View article

A Logic-Based Network Security Zone Modelling Methodology

Authors:
Sravani Teja Bulusu
Romain Laborde
Ahmad Samer Wazan
Francois Barrère
Abdelmalek Benzekri

Keywords: Network Security requirements; Security zoning

Abstract:
Network segmentation and security zone modelling is a best practice approach, widely known for minimizing the risks pertaining to the compromise of enterprise networks. In this paper, we propose a security zone modelling methodology, which automates the process of security zone specification using a definite set of formalized rules. It mainly helps to derive network security requirements based on the Clark-Wilson lite formal model. We illustrate our methodology using an example case study of e-commerce enterprise network infrastructure.

Pages: 67 to 72

Copyright: Copyright (c) IARIA, 2018

Publication date: September 16, 2018

Published in: conference

ISSN: 2162-2116

ISBN: 978-1-61208-661-3

Location: Venice, Italy

Dates: from September 16, 2018 to September 20, 2018