Wyniki wyszukiwania: 2.

Sortuj
Wyniki
Towards scenarios of external attacks upon security protocols / Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek. autor Serie: Prace IPI PAN ; nr 1012
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Timed automata based model checking of timed security protocols / Mirosław Kurkowski, Wojciech Penczek. autor Serie: Prace IPI PAN ; nr 1010
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.