Formal methods for cryptographic protocol analysis: emerging issues and trends | IEEE Journals & Magazine | IEEE Xplore