Trefferliste "Securityprotocols" - alle Bücher

Ihre Suche nach "Securityprotocols" (Bücher) ergab 2 Treffer.

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse

Modeling and Analyzing Security Protocols with Tamarin

Foreword.- Introduction.- An Example.- Modeling Foundations.- Modeling State Machines.- Specifying Trace Properties in Tamarin.- Using Tamarin.- Built-in Equational Theories.- Pre-computation and Deconstr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 58,66* Aktueller Preis: EUR 58,66

Artikel merken

In den Warenkorb

Menge ändern

Antonella Salomoni,

The Secret Protocol

In 1939, the Soviet Union and Germany agreed to a nonaggression treaty known by the names of its signatories, foreign ministers Vyacheslav Molotov and Joachim von Ribbentrop. Kept hidden from the public w…

lieferbar ab 6.1.2026.

Buch

EUR 96,51* Aktueller Preis: EUR 96,51

Artikel merken

In den Warenkorb

Menge ändern