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).
|
(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