Como parte de mi tesis, estoy a punto de evaluar diferentes enfoques para establecer la confianza en la marca de tiempo de confianza realizada por una TSA (consulte RFC3161 - Protocolo de marca de tiempo de confianza ). Un esquema confiable de sello de tiempo debe proporcionar la siguiente propiedad, tomada del documento básico sobre este tema (que se encuentra aquí ):
Es imposible marcar la hora de un documento con una fecha y hora diferente a la actual.
Lo que quiero averiguar durante mi trabajo es, bajo el cual suposiciones es plausible que la declaración dada sea válida.
Quiero usar estas suposiciones en el siguiente paso, para evaluar en qué medida un enfoque es adecuado para establecer la confianza.
Mi pregunta ahora es: ¿Conoces un marco o enfoque que pueda usar para deducir los supuestos requeridos de la declaración dada (o una versión más precisa de ella)?
Aquí hay un ejemplo para aclarar un poco más las cosas: Un enfoque que se evaluará es la publicación de marcas de tiempo en una cadena de bloques. Lo que estoy buscando es un enfoque sistemático para estimar si esta forma de hacer que las marcas de tiempo sean inmutables es confiable o no.