Algebraic specification of network security risk management.

Mohamed Hamdi, Noureddine Boudriga

Browse the full CCS paper archive.