Browse Dept. of Computer Science by Author "Santiago, Sonia"

  • Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, José; 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/pdfPDF (457kB)