Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets Extension

ABZ 2008 VSRnet Workshop. 2008 S. 1 - 31

Erscheinungsjahr: 2008

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Geprüft:Bibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik
Logo Institut für Informatik
Logo Universität Koblenz