A. Altarui

DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions

Published with Wowchemy — the free, open source website builder that empowers creators.