A computer-implemented method for providing authentication as to whether or not elements possess a pre-specified property, each element being operable to acquire the property and/or to lose the property, wherein the authentication is to be provided in each of a plurality of consecutive periods of time, the method comprising:
- generating, by a computer system, a plurality of pieces of authentication data cj(E1) for said periods of time for an element E1 which is one of said elements, each piece cj(E1) being evidence that the element E1 possesses said property in the respective period j;
- assigning an integer pE1 to the element E1;
- generating, by the computer system, an encryption key Kj(E1) for each period j for the element E1, the encryption key Kj being generated from a pE1-th root u(j)1/pE1(mod n) of an integer u(j) modulo a predefined composite integer n, where u(j) depends on j;
- encrypting, by the computer system, at least part of each piece cj(E1) with the respective key Kj(E1).