author = { Barthe, Gilles AND Fagerholm, Edvard AND Fiore, Dario AND Mitchell, John AND Scedrov, Andre AND Schmidt, Benedikt },

title = { Advances in Cryptology – CRYPTO 2014: Automated Analysis of Cryptographic Assumptions in Generic Group Models },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2014},

url = { http://slubdd.de/katalog?TN_libero_mab2 }