Text this: The formal analysis of CC security functional components