• Peer-reviewed
    • Open Access
    • Konferenzpaper

    A Framework for Cryptographic Protocol Analysis Using Linear Temporal Logic

    Publikationsdetails

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

    2011