V T T
P U B L I C A T I O N S
Rauli Kaksonen
A Functional Method for Assessing Protocol Implementation Security
!up
!up
!down
!up
!down
0x00 "netascii"
0x00
!up
{}
!down !up 512 0x00 0x03
TECHNICAL RESEARCH CENTRE OF FINLAND
ESPOO 2001
VTT PUBLICATIONS 448
A Functional Method for Assessing Protocol Implementation Security
Rauli Kaksonen
VTT Electronics
TECHNICAL RESEARCH CENTRE OF FINLAND ESPOO 2001
ISBN 951–38–5873–1 (soft back ed.) ISSN 1235–0621 (soft back ed.) ISBN 951–38–5874–X (URL: http://www.inf.vtt.fi/pdf/) ISSN 1455–0849 (URL: http://www.inf.vtt.fi/pdf/) Copyright ?? Valtion teknillinen tutkimuskeskus (VTT) 2001
JULKAISIJA – UTGIVARE – PUBLISHER Valtion teknillinen tutkimuskeskus (VTT), Vuorimiehentie 5, PL 2000, 02044 VTT puh. vaihde (09) 4561, faksi (09) 456 4374 Statens tekniska forskningscentral (VTT), Bergsmansv??gen 5, PB 2000, 02044 VTT tel. v??xel (09) 4561, fax (09) 456 4374 Technical Research Centre of Finland (VTT), Vuorimiehentie 5, P.O.Box 2000, FIN–02044 VTT, Finland phone internat. + 358 9 4561, fax + 358 9 456 4374
VTT Elektroniikka, Tietoliikennej??rjestelm??t, Kaitov??yl?? 1, PL 1100, 90571 OULU puh. vaihde (08) 551 2111, faksi (08) 551 2320 VTT Elektronik, Telekommunikationssystem, Kaitov??yl?? 1, PB 1100, 90571 ULE??BORG tel. v??xel (08) 551 2111, fax (08) 551 2320 VTT Electronics, Telecommunication Systems, Kaitov??yl?? 1, P.O.Box 1100, FIN–90571 OULU, Finland phone internat. + 358 8 551 2111, fax + 358 8 551 2320
Technical editing Leena Ukskoski