Logic-based methodology to help security architects in eliciting high-level network security requirements.

Tue, 01 Jan 2019 00:00:00 +0100

Romain Laborde, Sravani Teja Bulusu, Ahmad Samer Wazan, François Barrère, Abdelmalek Benzekri:
Logic-based methodology to help security architects in eliciting high-level network security requirements. SAC 2019: 1610-1619