OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Logic-based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements

Laborde, Romain and Bulusu, Sravani Teja and Wazan, Ahmad Samer and Barrère, François and Benzekri, Abdelmalek Logic-based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements. (2019) In: 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019), 8 April 2019 - 13 April 2019 (Limassol, Cyprus).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
770kB

Official URL: https://doi.org/10.1145/3297280.3297437

Abstract

In this paper, we propose a security methodology that automates the process of security zone specification and high-level network security requirements elicitation. We define a set of formalized rules derived from the principles of complete mediation, least privileges and the Clark-Wilson lite formal model making our approach traceable and verifiable. We implemented the methodology in Answer Set Programming to automatically compute an optimal network security zone model considering the cost of the security solution. A use case study of an e-commerce enterprise network infrastructure illustrates our methodology.

Item Type:Conference or Workshop Item (Paper)
Additional Information:https://dl.acm.org/doi/10.1145/3297280.3297437
HAL Id:hal-02456750
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
DGA : Direction générale de l'Armement - Ministère français des Armées (France) - DGAC : Direction générale de l'Aviation civile - Ministère de la Transition écologique et solidaire (France)
Statistics:download
Deposited On:23 Jan 2020 16:03

Repository Staff Only: item control page