Secure Agent Patterns and CaMeL Workflows