Literatur zur Vorlesung

Java

Arnold; Gosling: The Java Programming Language. Addison-Wesley, 1996.

Gosling; Joy; Steele: The Java Language Specification. Addison-Wesley, 1996.

Flanagan: Java in a Nutshell: A Desktop Quick Reference for Java Programmers. O'Reilly and Associates, Inc., 2nd edition. 1997.

Harold: The Java Developer's Resource. Prentice Hall, 1996.

Netzwerkprogrammierung

Stevens: Unix Network Programming. Prentice Hall, 1990.

Sicherheit

Stoll: The Cuckoo's Egg. Doubleday, 1989.

Necula: Proof-Carrying Code. POPL '97, 106-119.

Heintze, Riecke: The SLam Calculus: Programming with Secrecy and Integrity. POPL '98, 365-377.

Rees: A Security Kernel Based on the Lambda Calculus. MIT AI Memo 1564, 1996. ps.gz.

Dean et al.: Java Security: Web Browsers and Beyond. Princeton University, 1997. hier.

Saltzer, Schroeder: The protection of information in computer systems. Proceedings of the IEEEE, 63(9), 1278-1308.