SecureLLM: Using Compositionality to Build Provably Secure Language Models for Private, Sensitive, and Secret Data