33610Protocoles de sécurité : modèle formel, modèle calculatoire et implémentations [En savoir plus]ProSe - ANR-10-VERS-0004
VERSO - 2010

Voir les documents associés 

Exporter

• Export XML
• Export RDF