Pro gradu -tutkielma: Tietoturvaprotokollien automaattinen verifiointi säieavaruusmenetelmällä

Tietorakenteiden harjoitustyö periodi III 2009, ryhmä 1