Symmetric encryption in a simulatable Dolev-Yao style cryptographic libraryMichael BackesBirgit Pfitzmann2004CSFW 2004