Skip to main navigation Skip to search Skip to main content

Timed analysis of security protocols

  • R.J. Corin
  • , S. Etalle
  • , P.H. Hartel
  • , A.H. Mader

    Research output: Book/Report › Report › Academic

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Number of pages30
    Publication statusPublished - 2005

    Publication series

    NameCTIT Technical Report
    VolumeTR-CTIT-05-14

    Other files and links

    Cite this