publicações A Framework of Composable Security Features: Preserving Separation of Concerns from Models to Code Documento