TY - BOOK AU - KAKSONEN, Rauli TI - \A \\Functional method for assessing protocol implementation security T2 - VTT Publications\\VTT, Espoo\ SN - 951-38-5873-1 CY - Espoo AV - III 16309 ER -