LIBROS DEL AUTOR: giampaolo bella

1 resultados para LIBROS DEL AUTOR: giampaolo bella

giampaolo bella Eliminar filtro Quitar filtros
  • Formal Correctness of Security Protocols
    Giampaolo Bella
    The Analysis of Security Protocols.- The Inductive Method.- Verifying the Protocol Goals.- The Principle of Goal Availability.- Modelling Timestamping and Verifying a Classical Protocol.- Verifying a Deployed Protocol.- Modelling Agents’ Knowledge of Messages.- Verifying Another Deployed Protocol.- Modelling Smartcards.- Verifying a Smartcard Protocol.- Modelling Accountability...
    Disponible

    103,15 €