Representing the MSR cryptoprotocol specification language...

Higher-Order and Symbolic Computation 2007 / 06 Vol. 20; Iss. 1-2

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

Iliano Cervesato, Mark-Oliver Stehr
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:
20
Langue:
english
Pages:
33
DOI:
10.1007/s10990-007-9003-3
Date:
June, 2007
Fichier:
PDF, 491 KB
english, 2007
La conversion en est effectuée
La conversion en a échoué