TY  - BOOK
AU  - Dembiński,Piotr
AU  - Jakubowska,Gizela
AU  - Penczek,Wojciech
TI  - Towards scenarios of external attacks upon security protocols
T2  - Prace IPI PAN =
PY  - 2008///
CY  - Warszawa
PB  - Instytut Podstaw Informatyki Polskiej Akademii Nauk
KW  - Kryptografia
KW  - modele matematyczne
KW  - kaba
KW  - Weryfikacja (logika)
N1  - Praca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 1012; Bibliogr. s. 22-23; Na prawach rpsu
ER  -