LIBROS DEL AUTOR: sjouke mauw

2 resultados para LIBROS DEL AUTOR: sjouke mauw

sjouke mauw Eliminar filtro Quitar filtros
  • Security Protocols and Threat Models
    Reynaldo Gil-Pons / Ross Horne / Sjouke Mauw
    Protocols connect the many devices used in our personal and professional lives.  Hence we require assurances that they are secure in the face of threats.Security is too important to leave to intuition and experience alone. We need methodologies to precisely determine our security goals. A security property is one that holds despite the best efforts of an attacker, as captured b...
    Disponible

    90,93 €

  • Operational Semantics and Verification of Security Protocols
    Cas Cremers / Sjouke Mauw
    Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess...
    Disponible

    83,88 €