Suchergebnisse - "Java Secure Sockets Extension (JSSE)"

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project

Autoren: Jan Jürjens

Quelle: Electronic Notes in Theoretical Computer Science. 250:123-136

Schlagwörter: Java Secure Sockets Extension (JSSE), Automated security verification, 0202 electrical engineering, electronic engineering, information engineering, crypto protocol implementations, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)