Title :
Specification And Analysis Of A Security Management System
Author :
Bemardi, A. ; Rico, N. ; Cherkaoui, O. ; Banfield, J.
Author_Institution :
Bell-Northern Research
Keywords :
Access control; Computer network management; Computer security; Data security; Formal specifications; Information security; Samarium; Switches; Telecommunication network management; Telecommunication switching;
Conference_Titel :
Network Operations and Management Symposium, 1994. Symposium Record., 1994 IEEE
Print_ISBN :
0-7803-1811-0
DOI :
10.1109/NOMS.1994.644142
