A Modeling Framework for Generating Security Protocol Specifications | IEEE Conference Publication | IEEE Xplore