A framework for an active interface to characterise compositional security contracts of software components | IEEE Conference Publication | IEEE Xplore