Specification And Analysis Of A Security Management System. - A. Bemardi; Nathalie Rico; Omar Cherkaoui; J. Banfield (NOMS, 1994)