Modeling and analysis of security protocols using role based specifications and Petri nets
Résumé
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Frédéric Davesne : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00340476
Soumis le : dimanche 16 février 2014-15:52:24
Dernière modification le : lundi 22 avril 2024-16:24:05
Archivage à long terme le : vendredi 16 mai 2014-10:35:11