Literatur

1

Danny Dolev und Andrew C. Yao. On the Security of Public Key Protocols.
IEEE Transactions on Information Theory, 29(2):198-208, March 1983.

2

D.Dolev, S.Even und R.Karp. On the Security of Ping-Pong Protocols. Information and Control, S. 57-68, 1982.

3

Peter H. Starke. Logische Grundlagen der Informatik.
URL: http://www.informatik.hu-berlin.de/lehrstuehle/automaten
/logik/skript.pdf.

4

Johannes Köbler. Theoretische Informatik II, Vorlesungsskript
URL: http://www.informatik.hu-berlin.de/Institut/struktur/algorithmenII
/Lehre/WS2000-2001/Theo_Inf_2/skript.ps