Computationally Complete Symbolic Attacker in Action

Résumé : no abstract
Type de document :
Communication dans un congrès
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), 2012, Unknown, 2012, Leibniz International Proceedings in Informatics (LIPIcs)
Liste complète des métadonnées

https://hal.inria.fr/hal-00863379
Contributeur : Ben Smyth <>
Soumis le : mercredi 18 septembre 2013 - 17:37:28
Dernière modification le : mercredi 29 novembre 2017 - 15:08:29

Identifiants

  • HAL Id : hal-00863379, version 1

Collections

Citation

Gergei Bana, Pedro Ad Ao, Hideki Sakurada. Computationally Complete Symbolic Attacker in Action. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), 2012, Unknown, 2012, Leibniz International Proceedings in Informatics (LIPIcs). 〈hal-00863379〉

Partager

Métriques

Consultations de la notice

53