LIBROS DEL AUTOR: cas cremers

2 resultados para LIBROS DEL AUTOR: cas cremers

cas cremers Eliminar filtro Quitar filtros
  • Modeling and Analyzing Security Protocols with Tamarin
    Cas Cremers / David Basin / Jannik Dreier
    The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful analysis tool: it has been under development for over a decade and has reached a sta...
    Disponible

    78,21 €

  • 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 €