Katalog der Deutschen Nationalbibliothek

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

31 - 38 von 38

	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
	38	Backes, Michael 1978- / Informatiker