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

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

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
2010ISBN 9783642160738
Viršelis: MinkštasAnglų k.
Kompiuterija ir informacinės technologijosLiteratūra užsienio kalbomisNegrožinė literatūra
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra