bib.howest.be Zoekresultaten

U zocht naar: Auteur Martin Abadi Taal Engels

1 - 6 van 6

1. Formal Correctness of Security Protocols

Auteur:: Bella, Giampaolo; Abadi, Martin; Anderson, Ross
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2. Concurrent Zero-Knowledge

Auteur:: Rosen, Alon; Abadi, Martin; Goldreich, Oded; Anderson, Ross
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

3. Introduction to Cryptography

Auteur:: Delfs, Hans; Knebl, Helmut; Abadi, Martin; Anderson, Ross
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

4. Principles of Security and Trust

Auteur:: MartÃn Abadi, Steve Kremer; Abadi, Martín; Kremer, Steve
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

5. Trustworthy Global Computing

Auteur:: MartÃn Abadi, Alberto Lluch Lafuente; Abadi, Martín; Lluch Lafuente, Alberto
Uitgever:: Springer International Publishing 2014
Type:: e-book

6. CONCUR 2005 – Concurrency Theory

Auteur:: Abadi, Martín; De Alfaro, Luca; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book