Consensus number du contrôle d'accès: le cas des AllowLists et DenyLists
Résumé
Cet article ́etudie le pouvoir de synchronisation de deux types objets distribu ́es : les AllowLists et les DenyLists. Cette
́etude est conduite au regard de la hi ́erarchie du consensus de Herlihy. Ces objets sont d’abord formalis ́es sous la forme
d’objets distribu ́es. Bien que les deux objets aient des sp ́ecifications proches, leurs consensus number sont fonci`erement
diff ́erents. L’AllowList peut ˆetre impl ́ement ́ee sans consensus parmi les processus du syst`eme (son consensus number
est de 1) alors que la DenyList requiert un consensus parmi un sous ensemble sp ́ecifique des processus. Ces r ́esultats
sont ensuite utilis ́es pour analyser des syst`emes respectant la vie priv ́ee et utilisant des AllowLists et des DenyLists.
Origine : Fichiers produits par l'(les) auteur(s)
licence : CC BY NC SA - Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales
licence : CC BY NC SA - Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales