Relating symbolic and cryptographic secrecy | IEEE Journals & Magazine | IEEE Xplore