Spécification et vérification des protocoles de sécurité probabilistes. (Probabilistic and Information-Theoretic Approaches to Anonymity)

Le concept de l'anonymat entre en jeu dans les cas ou nous voulons garder le secret sur l'identite des agents qui participent a un certain evenement. Il existe un large eventail de situations dans lesquelles cette propriete peut etre necessaire ou souhaitable, par exemple: web de vote surf, les dons anonymes, et l'affichage sur les babillards. L'anonymat est souvent formulees de maniere plus generale comme une propriete de dissimulation d'informations, a savoir la propriete qu'une partie des informations relatives a un certain evenement est tenu secret. Il faut etre prudent, cependant, de ne pas confondre anonymat avec d'autres proprietes que la meme description, notamment la confidentialite (secret aka). Laissez-nous insister sur la difference entre les deux concepts en ce qui concerne l'envoi de messages: la confidentialite se refere aux situations dans lesquelles le contenu du message doit etre gardee secrete, dans le cas de l'anonymat, d'autre part, c'est l'identite de l'expediteur ou du destinataire, qui doit etre gardee secrete. De la meme facon, en votant, l'anonymat signifie que l'identite de l'electeur associes a chaque vote doit etre cache, et non pas le vote lui-meme ou le candidat a vote pour. D'autres proprietes remarquables de cette categorie sont la vie privee et la non-ingerence. Protection des renseignements personnels, il se refere a la protection de certaines donnees, telles que le numero de carte de credit d'un utilisateur. Non-ingerence signifie qu'un utilisateur bas ne seront pas en mesure d'obtenir des informations sur les activites d'un utilisateur eleves. Une discussion sur la difference entre l'anonymat et d'autres proprietes de dissimulation d'informations peuvent etre trouvees dans HO03 [, HO05]. Une caracteristique importante de l'anonymat, c'est qu'il est generalement relative a la capacite de l'observateur. En general, l'activite d'un protocole peut etre observe par divers observateurs, di? Vrant dans les informations qu'ils ont acces. La propriete anonymat depend essentiellement de ce que nous considerons comme observables. A titre d'exemple, dans le cas d'un babillard anonyme, une annonce par un membre du groupe est maintenue anonymes aux autres membres, mais il peut etre possible que l'administrateur du conseil d'administration a acces a une information privilegiee qui peut lui permettre de deduire l'identite du membre qui l'a publie. Dans l'anonymat peut etre exigee pour un sous-ensemble des agents uniquement. Afin de definir completement l'anonymat d'un protocole, il est donc necessaire de preciser ce qui se (s) des membres ont de garder l'anonymat. Une generalisation est le concept de l'anonymat a l'egard d'un groupe: les membres sont divises en un certain nombre de series, et nous sommes autorises a reveler a quel groupe l'utilisateur responsable de l'action appartient, mais pas l'identite de l'utilisateur lui-meme. Plusieurs definitions formelles et les cadres d'analyse anonymat ont ete developpes dans la litterature. Elles peuvent etre classifiees en ed approches fondees sur les processus de calculs ([SS96, RS01]), la logique epistemique ([SS99], HO03), et des vues de fonction ([HS04]). La plupart de ces approches sont fondees sur le principe dit de confusion: un systeme est anonyme si l'ensemble des resultats possibles observable est sature pour les utilisateurs prevus anonymes. Plus precisement, si dans un calcul le coupable (l'utilisateur qui execute l'action) est i et le resultat observable est o, alors pour tout autre agent j il doit y avoir un calcul ou j est le coupable et l'observable est encore o. Cette approche est aussi appelee possibiliste, et s'appuie sur non-determinisme. En particulier, les choix probabilistes sont interpretes comme non deterministe. Nous nous referons a RS01] pour plus de details sur la relation de cette approche a la notion d'anonymat.