As a part of my thesis, I am about to evaluate different approaches to establish the trust in trusted-timestamping performed by a TSA (see RFC3161 - Trusted Timestamp Protocol). A trustworthy timestamping scheme must provide the following property, taken from the basic paper on this topic (found here):
It is impossible to timestamp a document with a time and date different from the actual one.
What I want to figure out during my work is, under which assumptions it is plausible that the given statement holds.
I want to use these assumptions in the next step, to evaluate in how far an approach is suited to establish trust.
My question now is: Do you know a framework or approach I can use, to deduce the required assumptions from the given statement (or a more precise version of it)?
Here one example to clear things up a little more: One approach going to be evaluated is posting timestamps in a blockchain. What I am looking for is a systematic approach to estimate whether this way of making timestamps immutable is trustworthy or not.