Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers

AvGavin Lowe,Alessandro Armando

E-bok
PDF, Engelska, 2010

896 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

Michele Bonino, Edoardo Bruno, Alessandro Armando, Giovanni Durbiano, Camilla Forina, Michele Bonino, Edoardo Bruno - Story of a Section, Häftad

Story of a Section

Michele Bonino, Edoardo Bruno, Alessandro Armando, Giovanni Durbiano, Camilla Forina, Michele Bonino, Edoardo Bruno

Häftad, 2022

364 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,4 utav 5 stjärnor. Totalt antal röster:(10)

209 kr259 kr