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