EUR 73,83 + EUR 0,01 Livraison en France métropolitaine
  • Tous les prix incluent la TVA.
Il ne reste plus que 1 exemplaire(s) en stock.
Expédié et vendu par Book Depository FR.
EUR 73,83 + EUR 0,01 Livraison en France métropolitaine
Vous l'avez déjà ?
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir les 2 images

Security Protocols Analysis: The Interpretation Functions-Based Method (Anglais) Broché – 18 octobre 2012


Voir les formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Broché
EUR 73,83
EUR 73,83 EUR 104,12
click to open popover

Offres spéciales et liens associés


Description du produit

Présentation de l'éditeur

The security of Internet networks and distributed systems are based on the security of cryptographic protocols. A flaw in a cryptographic protocol could lead to considerable consequences affecting societies or individuals. To prevent these flaws, the formal methods have been shown the best and most suited to design and analyze the cryptographic protocols. The first attempt in this way was to use model-checking techniques to explore a finite subset of the executions set of the analyzed protocol in order to discover flaws. However, since a protocol can exhibit an infinite set of executions, it is very difficult for these approaches to certify the security of a given protocol when they fail to find flaws. Recently, there have been some efforts to find approaches that allow to ensure the security of protocols but they are dedicated to some class of protocols. Also, almost of them could not analyze cryptographic protocols used in our daily lives. To overcome these problems, we present in this book the interpretation function-based method that is not restrictive to a class of cryptographic protocols and could analyze protocols such as SET the most used protocol in e-commerce.

Biographie de l'auteur

Hanane Houmani obtained her Ph.D and her Master in computer science at Laval University. In 2009, the research conducted in security protocols during her PH. D was awarded the Natural Sciences and Engineering Research Council of Canada Postdoctoral Fellowships award. She is currently a Professor at ENSEM, Hassan II University.

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Commentaires client

Il n'y a pour l'instant aucun commentaire client.
Partagez votre opinion avec les autres clients

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?