Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis | IEEE Conference Publication | IEEE Xplore