Authority-Bounded Control Logic