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.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra