Our paper DBCChecker: a bigraph-based tool for checking security properties of container compositions has been accepted for the proceedings of ITASEC 2023.