Modelling of Cryptographic Protocols - A Concurrency Perspective

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorNikander, Pekka
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorKarila, Arto 
dc.date.accessioned2021-04-14T18:28:48Z
dc.date.available2021-04-14T18:28:48Z
dc.date.issued1997 
dc.format.extentviii + 116 s. + liitt. 33 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/105743
dc.identifier.urnURN:NBN:fi:aalto-202104145033
dc.language.isoenen
dc.programme.majorTietokoneverkotfi
dc.programme.mcodeTik-110fi
dc.rights.accesslevelclosedAccess
dc.titleModelling of Cryptographic Protocols - A Concurrency Perspectiveen
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_49321
local.aalto.idinssi12795
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK