Group Signatures with Time-Bound Keys Revisited: A New Model, an Efficient Construction, and its Implementation | Synapse