A method and system for generating messages from which it can be verified
that a variable does not exceed a predetermined limit. The message can be
a postal indicium. A message originator, which can be a postage metering
system, receives a message in the form
R.sup.-k (T), where R is a trapdoor function, K is an integer equal to the
limit, and T is a plain text, from a data processing center which
maintains the inverse function R.sup.-1 in secrecy. The message originator
computes S.sub.m =R.sup.m (R.sup.-k (T), where m is a current value of the
variable, and incorporates S.sub.m into the message. A verifier verifies
that mK,
from R.sup.-k (T).
Un método y un sistema para generar los mensajes de los cuales puede ser verificado que una variable no excede un límite predeterminado. El mensaje puede ser un indicium postal. Un autor del mensaje, que puede ser un sistema de medición del franqueo, recibe un mensaje en la forma R.sup.-k (t), donde está una función R del trapdoor, K es un número entero igual al límite, y T es un texto llano, de un centro de proceso de datos que mantenga la función inversa R.sup.-1 en secreto. El autor del mensaje computa S.sub.m = R.sup.m (R.sup.-k (t), donde está un valor m actual de la variable, e incorpora S.sub.m en el mensaje. Un verificador verifica ese m K, de R.sup.-k (t).
