Sichere Kommunikation

Einige relevante Links

The AVISPA Project   Automated Validation of Internet Security Protocols and Applications

Kerberos

Finite-State Analysis of SSL 3.0
J.C. Mitchell, V.Shmatikov, and U. Stern. Proceedings of USENIX Security Symposium, 1998.

The TLS Working Group

Wireless (In)security

Security hole in cash machines

Ross Anderson's Security Engineering

Inhalt (vorläufig)

  1. Symmetrische Verschlüsselungsverfahren

  2. Teilnehmerauthentifikation und Schlüsseletablierung I

  3. Kerberos

  4. Asymmetrische Verschlüsselungsverfahren

  5. Zertifikate und Public Key Infrastruktur

  6. Schlüsseletablierung II

  7. Automatische Analyse von Sicherheitsprotokollen

  8. SSL/TLS

  9. Wireless (In)security

  10. Security APIs (Softwareschnittstellen von manipulationssicheren Kryptoprozessoren) und Angriffe