Sichere Kommunikationssysteme: Design, Analyse und Implementierung von Michael R.
137,59 €
Another novel feature of the book is the presentation of a formal model-checking tool for specifying and debugging security protocols. A novel feature of the book is the presentation of a formal model-checking tool for specifying and debugging security protocols.
Jetzt bei Ebay:
