Bigraphs; Containers; Contract-based design; Formal methods; System Security; Verification

Despite their widespread application in modern systems, container composition is often complex and error-prone. In this work, we present DBCChecker, a tool aiming to verify security properties of systems obtained by composition of containers. From …