Temporally Enforced Security Logic Assertions