 | Takayasu Itō, Albert R. Meyer - 1991 - 788 lapas
...some decryption). P seesx, X: P sees X on the communication link L. fresh(X): X is fresh, that is, X has not been sent in a message at any time before the current run of the protocol. This usually holds for timestamps and for nonces — expressions invented for the purpose of being fresh.... | |
 | Sihan Qing, Jan H.P. Eloff - 2000 - 532 lapas
...principal P. We assume that the identifier is global unique. #(X): the message component X has been not sent in a message at any time before the current run of the protocol. S(X) :the message component can not be leaked in the protocol run, and its expiration is determined... | |
 | Qingfeng Chen, Chengqi Zhang, Shichao Zhang - 2008 - 239 lapas
...example is a server which is often trusted to generate encryption keys properly. • Fresh(^). That is, X has not been sent in a message at any time before the current run of the protocol. This is defined to be true for nonces, that is, expressions generated for the purpose of being fresh. • P... | |
| |
The formula X is fresh, that is, X has not been sent in a message at any time before the current run of the protocol. 