Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Ergebnis der Suche nach: "1019424060"
im Bestand: Gesamter Bestand

31 - 37 von 37

	31	Rational cryptography: novel constructions, automated verification and unified definitions Ciobotaru, Oana-Mădălina. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013
	32	AppGuard - real-time policy enforcement for third-party applications Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2012
	33	Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis Hritcu, Cătălin. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2012
	34	Computer security Berlin : Springer, 2009
	35	Zero-knowledge in the applied Pi calculus and automated verification of the direct anonymous attestation protocol [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]
	36	Cryptographically sound analysis of security protocols Backes, Michael, [2004]
	37	Cryptographically sound analysis of security protocols Backes, Michael, 2002

31 - 37 von 37

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (25)

Alle Standorte > Leipzig (37)

Aktionen