• Journalartikel
    • Wissenschaftlicher Artikel

    A Framework for Proving the Correctness of Cryptographic Protocol Properties by Linear Temporal Logic

    Publikationsdetails

    Autoren
    A. Alabdulatif, X. Ma, Prof. Dr. Lars Nolle
    Publikationsjahr

    2013

    Erschienen in

    International journal for digital society