DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. - Andrea Altarui; Marino Miculan; Matteo Paier (ITASEC, 2023)