Formal Correctness of Security Protocols (Information Security and Cryptography)

Författare
Giampaolo Bella
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2007 Utgivningsland okänt / Ej specificerat