Encoding Cryptographic Primitives in a Calculus with...

Journal of Automated Reasoning 2011 / 04 Vol. 46; Iss. 3-4

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation

Joana Martinho, António Ravara
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
46
Langue:
english
Pages:
31
DOI:
10.1007/s10817-010-9189-7
Date:
April, 2011
Fichier:
PDF, 645 KB
english, 2011
La conversion en est effectuée
La conversion en a échoué