Poster

In order to achieve ’Security by Design’ ^[10] there needs to be a solution to the problem of security verification in the early phase of a software development life cycle. This paper proposes a system to assist with this verification in the context of composable systems, such as cloud based solutions. The system verifies functional specifications, such as TOSCA templates commonly used in cloud systems. The verification is performed using logic rewriting in the Maude language.