Protocols de seguretat amb terceres parts: El problema de la confiança i la propietat de verificabilitat

• Autores: Macià Mut Puigserver
• Directores de la Tesis: Josep Lluis Ferrer Gomila (dir. tes.)
• Lectura: En la Universitat de les Illes Balears ( España ) en 2007
• Idioma: catalán
• ISBN: 978-84-691-0345-6
• Tribunal Calificador de la Tesis: Llorenç Huguet Rotger (presid.) , Maria Magdalena Payeras Capellà (secret.) , Santos González Jiménez (voc.) , Miquel Soriano Ibáñez (voc.) , Joan Borrell i Viader (voc.)
• Enlaces
  • Tesis en acceso abierto en: RepositoriUIB
• Resumen

  • 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.