Enforcing Authorizations for SADL-Based Applications