• DocumentCode
    318866
  • Title

    Specification And Analysis Of A Security Management System

  • Author

    Bemardi, A. ; Rico, N. ; Cherkaoui, O. ; Banfield, J.

  • Author_Institution
    Bell-Northern Research
  • Volume
    2
  • fYear
    1994
  • fDate
    14-17 Feb 1994
  • Firstpage
    470
  • Lastpage
    485
  • Keywords
    Access control; Computer network management; Computer security; Data security; Formal specifications; Information security; Samarium; Switches; Telecommunication network management; Telecommunication switching;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Network Operations and Management Symposium, 1994. Symposium Record., 1994 IEEE
  • Print_ISBN
    0-7803-1811-0
  • Type

    conf

  • DOI
    10.1109/NOMS.1994.644142
  • Filename
    644142