Security assurance is a discipline aiming to demonstrate that target system holds some non/functional properties and behaves as expected. These techniques have been recently applied the cloud, facing critical issues especially when integrated within existing security processes executed in programmatic way. Furthermore, they pose significant costs hybrid systems, mixing public private infrastruc...