Protocols de seguretat amb terceres partsEl problema de la confiança i la propietat de verificabilitat

  1. Mut Puigserver, Macià
Supervised by:
  1. Josep Lluis Ferrer Gomila Director

Defence university: Universitat de les Illes Balears

Fecha de defensa: 06 June 2007

Committee:
  1. Llorenç Huguet Rotger Chair
  2. Maria Magdalena Payeras Capellà Secretary
  3. Joan Borrell Viader Committee member
  4. Santos González Jiménez Committee member
  5. Miquel Soriano Ibáñez Committee member

Type: Thesis

Teseo: 135234 DIALNET lock_openRepositoriUIB editor

Abstract

Les solucions proposades en els articles científics sobre els intercanvis electrònics entre dues parts sovint involucren terceres parts (TTPs) per resoldre i simplificar el problema, però els usuaris hi han de dipositar una certa confiança. Ara bé, la confiança no és garantia ferma del compliment dels requisits de seguretat. Per això, molts usuaris són reticents a dipositar confiança en entitats remotes, fet que en dificulta lús. Aquí mostram com, a partir dun determinat protocol de seguretat, podem aconseguir que la TTP involucrada sigui verificable. Construïm un entorn de confiança dins del protocol per mitjà del subministrament devidències sobre cada una de les operacions de la TTP (definim i introduïm la verificabilitat on-line de la TTP). Aconseguim això gràcies a la detecció, lanàlisi i la classificació de cada una de les accions de la TTP. Aportam unes orientacions de disseny que faciliten la introducció de TTPs verificables dins dels protocols.