A framework for composition of security models | IEEE Conference Publication | IEEE Xplore