Come parte della mia tesi, sto per valutare diversi approcci per stabilire la fiducia nel timestamp di fiducia eseguita da un TSA (vedi RFC3161 - Trusted Timestamp Protocol ). Uno schema di timestamp affidabile deve fornire la seguente proprietà, tratta dal documento di base su questo argomento (trovato qui ):
It is impossible to timestamp a document with a time and date different from the actual one.
Quello che voglio capire durante il mio lavoro è, in base al quale presupposti è plausibile che l'affermazione data sia valida.
Voglio utilizzare queste ipotesi nel passaggio successivo, per valutare in che misura un approccio è adatto per stabilire la fiducia.
La mia domanda ora è: conosci un framework o un approccio che posso usare, per dedurre le ipotesi richieste dall'istruzione data (o una versione più precisa di esso)?
Ecco un esempio per chiarire un po 'di più: Un approccio che verrà valutato è la pubblicazione di timestamp in una blockchain. Quello che sto cercando è un approccio sistematico per valutare se questo modo di rendere immutabili questi timestamp sia affidabile o meno.