Specification and Analysis of a Security Management System.

Omar Cherkaoui

Browse the full FM paper archive.