Browse by Author "Meseguer, Jose"

  • Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, Jose; Santiago, Sonia (2016-07)
    Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in ...

    application/pdf

    application/pdfPDF (457kB)