Model Checking the IKEv2 Protocol Using Spin
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Tristan Ninet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02062292
Soumis le : mercredi 23 octobre 2019-16:27:30
Dernière modification le : vendredi 24 mars 2023-14:53:12
Archivage à long terme le : vendredi 24 janvier 2020-13:20:52