As well known, different assumptions of difficulty of some problems are used in provable security. E.g., if some crypto-scheme is breakable only in case the attacker finds preimages for hash function, we say that the scheme is as secure as preimage resistance of hash-function. Imaging, that some hash function is not preimage resistant in general (e.g. it has not enough length, say only 64 bit). Nevertheless, it's obviously difficult to find preimages in short time (say 10 minutes). And imaging that we're able to construct a reduction that implies that successful attacker is able to find preimages in some short time, e.g. during some short session of protocol (e.g. some online key exchange which is abandoned in 10 minutes in case counter-party doesn't respond ). In this case, the scheme should be recognized as secure based on 2 assumptions:
- party controls time of sessions and discontinues a session after 10 minutes of waiting
- hash function is preimage resistant within time 10 minutes.
My question is whether you know some research/papers which use such approach in provable security, i.e. they use such assumptions of form "preimage resistance in small time T", instead of conventional "preimage resistance in acceptable(polinomial) time"? Concrete problem (preimage resistance or something else) doesn't matter obviously, I'm interesting only in time-restriction. And does this approach could be reasonable at all?