Abstract: Indices and residues for executables are generated. The executables are members of a batch of executables and the generating is responsive to the batch. The index for any particular one of the executables indicates a relationship to the other executables of the batch. A batch signature is generated for the batch of executables, including encrypting a data structure generated responsive to the executables of the batch. The batch signature and respective ones of the executables, indices and residues are sent. The sent executables are not encrypted. One of the users may process a batch signature, residue, index and executable received by the user in order to verify whether the executables received by the user corresponds to one of the sent executables. A definition may also be sent for beginning execution of an executable in a predetermined initial state.