Specification And Analysis Of A Security Management System.

A. Bemardi, Nathalie Rico, Omar Cherkaoui, J. Banfield

Browse the full NOMS paper archive.