• Journalartikel

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

    Publikationsdetails

    Autor_innen
    A. Alabdulatif,X. Ma,L. Nolle
    Publikationsjahr

    2013

    Erschienen in

    International journal for digital society