Protocol Insecurity with Finite Number of Sessions is NP-complete
Résumé
We show that protocol insecurity is in NP for bounded sessions and non-atomic keys.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00100411
Soumis le : mardi 26 septembre 2006-14:41:40
Dernière modification le : jeudi 15 février 2024-03:31:16