A tool for the synthesis of cryptographic orchestrators

Type de document :
Communication dans un congrès
MDSEC 2012, Oct 2012, Innsbruck, Austria. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00750747
Contributeur : Ilaria Matteucci <>
Soumis le : lundi 12 novembre 2012 - 11:45:17
Dernière modification le : lundi 12 novembre 2012 - 11:45:17

Identifiants

  • HAL Id : hal-00750747, version 1

Citation

Ilaria Matteucci, F. Martinelli, V. Ciancia, J. A. Martin, E. Pimentel, et al.. A tool for the synthesis of cryptographic orchestrators. MDSEC 2012, Oct 2012, Innsbruck, Austria. 2012. 〈hal-00750747〉

Partager

Métriques

Consultations de la notice

12