Symbol: security_bounded_transition