Composing secure systems that have emergent properties | IEEE Conference Publication | IEEE Xplore