LES DERNIÈRES INFORMATIONS
A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies
Titre | A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Khoumsi, A, Krombi, W, Erradi, M |
Editor | Cuppens, F, GarciaAlfaro, J, Heywood, NZ, Fong, PWL |
Conference Name | FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2014) |
ISBN Number | 978-3-319-17040-4; 978-3-319-17039-8 |
Abstract | Security policies are a relevant solution to protect information systems from undue accesses. In this paper, we develop a formal and rigorous automata-based approach to design and analyze security policies. The interest of our approach is that it can be used as a common basis for analyzing several aspects of security policies, instead of using a distinct approach and formalism for studying each aspect. We first develop a procedure that synthesizes automatically an automaton which implements a given security policy. Then, we apply this synthesis procedure to verify completeness of security policies and detect several types of anomalies in security policies. We also study space and time complexities of the developed procedures.
|
DOI | 10.1007/978-3-319-17040-4\_14 |
Contactez-nous
ENSIAS
Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc
Télécopie : (+212) 5 37 68 60 78
Secrétariat de direction : 06 61 48 10 97
Secrétariat général : 06 61 34 09 27
Service des affaires financières : 06 61 44 76 79
Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma
Résidences : 06 61 82 89 77
Contacts
Compteur de visiteurs:539,809
Education - This is a contributing Drupal Theme
Design by
WeebPal.