Foundations and Applications of Security Analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

AvLuca Vigano,Pierpaolo Degano

E-bok
PDF, Engelska, 2009

708 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Labelled Deduction

Luca Vigano, Sean Matthews, Dov M. Gabbay, M. D'Agostino, David Basin

E-bok
2012

1 367 kr