• Peer-reviewed
    • Open Access
    • Konferenzpaper

    A Framework for Cryptographic Protocol Analysis Using Linear Temporal Logic

    Publikationsdetails

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

    2011