Stéphanie Delaune and Francis Klay. Synthèse des expérimentations. Technical Report 10, projet RNTL PROUVÉ, 2007. 10 pages
Dans ce document nous présentons une synthèse des deux cas d'étude traités durant le projet. Rappelons qu'il s'agit d'une part d'un protocole de commerce électronique et d'autre part d'un protocole de vote. Pour chacun de ces protocoles, nous analysons les résultats obtenus afin de dégager l'apport des travaux issus du projet et les aspects qui n'ont pas pu etre complètement traités. Compte tenu des enseignements tirés, dans la dernière partie nous mettons en perspectives les axes de recherches envisageables pour traiter complètement des protocoles aussi complexes que celui du vote électronique.
@techreport{Prouve:rap10,
abstract = {Dans ce document nous pr{\'e}sentons une synth{\`e}se
des deux cas d'{\'e}tude trait{\'e}s durant le
projet. Rappelons qu'il s'agit d'une part d'un
protocole de commerce {\'e}lectronique et d'autre
part d'un protocole de vote. Pour chacun de ces
protocoles, nous analysons les r{\'e}sultats obtenus
afin de d{\'e}gager l'apport des travaux issus du
projet et les aspects qui n'ont pas pu etre
compl{\`e}tement trait{\'e}s. Compte tenu des
enseignements tir{\'e}s, dans la derni{\`e}re partie
nous mettons en perspectives les axes de recherches
envisageables pour traiter compl{\`e}tement des
protocoles aussi complexes que celui du vote
{\'e}lectronique.},
author = {Delaune, St{\'e}phanie and Klay, Francis},
institution = {projet RNTL PROUV{\'E}},
month = may,
note = {10~pages},
number = {10},
type = {Technical Report},
title = {Synth{\`e}se des exp{\'e}rimentations},
year = {2007},
nmonth = {5},
lsv-category = {cont},
wwwpublic = {public},
}