Tik-110.497 Special course on data communications and networks (2 cr)

General information

Tik-110.497 is a special course on data communications and networks. It has a varying topic. This page describes the topic lectured in Spring 1998.

Spring 1998 programme

In Spring 1998, the topic of the course is formal modelling and verification of cryptographic protocols. The course will be based on Pekka Nikander's Licenciate's thesis and other scientific publications. Course language will be English if there are any English speaking students taking part. If not, the course language will be Finnish.

Course content: The contents and requirements of the course.
Materials: Course material.
Staff: Lecturer and other information.
Schedule: Schedule and Topics of seminar presentations.

Time and location

The lectures and seminar meetings are kept in Y427B every Wednesday at 6 pm. The course is started at Jan 21. There is no lecture in Jan 28 and Feb 4.

We preserve the right to change this information without any notice.

This page is maintained by Pekka Nikander, Email: Pekka.Nikander@hut.fi

URL: http://www.tcm.hut.fi/Opinnot/Tik-110.497/