Tik-110.497 Material (Spring 1998)
Lecture notes (prujut, Otapaino)
You can find Pekka Nikander's Licentiates thesis
behind password.
Please contact to Sanna Suoranta
<sanna.suoranta@hut.fi>
to get username and password.
The other material
will be distributed as lecture notes (prujut from Otapaino).
Thus, include the course code to your Otapaino order.
Other material:
- Pierre Bieber: A Logic of Communication in Hostile Environment
- Colin Boyd and Wenbo Mao: On a Limitation of BAN Logic
- Michael Burrows, Martin Abadi and Roger Needham: A Logic of Authentication
- Ulf Carlsen: Cryptographic Protocol Flaws
- Li Gong, Roger Needham and Raphael Yahalom: Reasoning about Belief of Cryptographic Protocol
- Volker Kessler and Gabriele Wedel: AUTLOG - An Anvanced Logic of Authentication
- Gustavus Simmons: Cryptoanalysis and Protocol Failures
- Paul Syverson, Paul van Oorschot: On Unifying Some Cryptographic Protocol Logics
This page is maintained by
Pekka Nikander,
Email: Pekka.Nikander@hut.fi
Last updated: Tue Jan 13 17:41:47 1998
URL: http://www.tcm.hut.fi/Opinnot/Tik-110.497/1998/contents.html