An Approach to Automated Design of Security Protocols | IEEE Conference Publication | IEEE Xplore