Automated Reasoning for Security Protocol Analysis and Issue - Alessandro Armando

Automated Reasoning for Security Protocol Analysis and Issue

4.00 Oceń książkę!

Autor: Alessandro Armando

Wydawnictwo: Springer Verlag
ISBN: 9783642160738
EAN:
Format: ...
Oprawa: miękka
Stron: 194
Data wydania: 2010-01-01
Gdzie kupić tanią książkę?
książka
197.99
Książka w Twoim domu w ciągu 48h
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.

Książka "Automated Reasoning for Security Protocol Analysis and Issue"
Alessandro Armando