Temporal Authorization Bases: from Specification to Integration