Verifying Secure Interface Composition for Component-Based System Designs | IEEE Conference Publication | IEEE Xplore