• Title of article

    Security policy conceptual modeling and formalization for networked information systems

  • Author/Authors

    D. Trcek، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2000
  • Pages
    8
  • From page
    1716
  • To page
    1723
  • Keywords
    Security architectures , Security policy , formal methods , Conceptual modeling
  • Journal title
    Computer Communications
  • Serial Year
    2000
  • Journal title
    Computer Communications
  • Record number

    309268