Logic-based Methodology to Help Security Architects in Eliciting High-Level Network Security Requirements
Author(s) -
Laborde, Romain,
Sravani Teja Bulusu,
Ahmad Samer Wazan,
Francois Barrere,
Abdelmalek Benzekri
Publication year - 2019
Publication title -
open archive toulouse archive ouverte (university of toulouse)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , computer security model , network security , computer security , software engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom