Michael Backes Birgit Pfitzmann Relating Symbolic and Cryptographic Secrecy. 109-123 2005 2 IEEE Trans. Dependable Sec. Comput. 2 http://dx.doi.org/10.1109/TDSC.2005.25 db/journals/tdsc/tdsc2.html#BackesP05