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

Romain Laborde, Sravani Teja Bulusu, Ahmad Samer Wazan, Franois Barrre, Abdelmalek Benzekri

Browse the full SAC paper archive.