Précédent : Autour de Coq Remonter : Résultats nouveaux Suivant : Autour de la Programmation à
Précédent : Autour de Coq
Remonter : Résultats nouveaux
Suivant : Autour de la Programmation à
Mots clés : Un mémoire de DEA a abouti à une formalisation à l'aide du SPI-calcul de certains protocoles de micro-paiement du produit Mu-Comm développé par la société NTSys .
Les protocoles de micro-paiement qu'Amalia Ciobanu étudiante de DEA a spécifiés sont fondés sur un tiers de confiance. Le mémoire protégé par une clause de confidentialité n'a pas donné lieu à une publication, il a cependant permis à la société NTSys d'affiner la perception de son protocole et de préciser sa politique de sécurité.