LIBROS DEL AUTOR: jannik dreier

1 resultados para LIBROS DEL AUTOR: jannik dreier

jannik dreier 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 €