Design and construction of protocol sequences: Shift invariance and user irrepressibility.