Automation with the Secure App Model for CSP's