Computationally Complete Symbolic Adversary and Key Exchange

Type de document :
Communication dans un congrès
31st Symposium on Cryptography and Information Security, 2014, Kagoshima, Japan. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01102293
Contributeur : Bruno Blanchet <>
Soumis le : lundi 12 janvier 2015 - 14:41:38
Dernière modification le : mercredi 14 décembre 2016 - 01:07:15

Identifiants

  • HAL Id : hal-01102293, version 1

Collections

Citation

Gergei Bana, Koji Hasebe, Mitsuhiro Okada. Computationally Complete Symbolic Adversary and Key Exchange. 31st Symposium on Cryptography and Information Security, 2014, Kagoshima, Japan. 2014. 〈hal-01102293〉

Partager

Métriques

Consultations de la notice

71