• Title of article

    Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

  • Author/Authors

    S. Gritzalis، نويسنده , , D. Spinellis، نويسنده , , P. Georgiadis، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1999
  • Pages
    13
  • From page
    697
  • To page
    709
  • Keywords
    Protocol analysis tools , Security protocols , Cryptographic protocols , formal methods
  • Journal title
    Computer Communications
  • Serial Year
    1999
  • Journal title
    Computer Communications
  • Record number

    308993

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=308993