Design-Bound Security Logic