> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Automated Analysis of Cryptographic Assumptions in Generic Group Models Beteiligte: Barthe, Gilles; Fagerholm, Edvard; Fiore, Dario; Mitchell, John; Scedrov, Andre; Schmidt, Benedikt Erschienen: Springer Science and Business Media LLC, 2019 Erschienen in: Journal of Cryptology Sprache: Englisch DOI: 10.1007/s00145-018-9302-3 ISSN: 0933-2790; 1432-1378 Schlagwörter: Applied Mathematics ; Computer Science Applications ; Software Entstehung: Anmerkungen: