Dembiński, Piotr. <br/><br/>
Towards scenarios of external attacks upon security protocols / 
Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek. 
 - Warszawa :  Instytut Podstaw Informatyki Polskiej Akademii Nauk,  2008. 
 - 24 s. ;  21 cm. 
 - Prace IPI PAN =  ICS PAS Reports,  nr 1012  0138-0648 ; .
 - Prace IPI PAN  nr 1012 .
<br/><br/> Praca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 1012. 
<br/><br/>Bibliogr. s. 22-23. 
<br/><br/> Na prawach rpsu. 
<br/><br/><br/>Streszcz. pol. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Kryptografia--modele matematyczne.<br/>Weryfikacja (logika).