Formal correctness of security protocols /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Bella, Giampaolo (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007
Edice:Information security and cryptography
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky sklad Y359 4200513074