Text this: Composable information flow verification for service chain based on model checking