A Component-Based Approach to Security Protocol Design | IEEE Conference Publication | IEEE Xplore