Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

And Security
Wo zu kaufen (2) Eigenschaften
Gesponsert
Blanchet, Bruno: Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
averdo DE
105.77 EUR
Preis aktualisiert am: 21-11-2024 09:50:27
Siehe Produktangebot
Gesponsert
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Hugendubel
110.99 EUR
Preis aktualisiert am: 28-08-2024 19:03:59
Siehe Produktangebot

Allgemein

ISBN
1680832069

Eigenschaften

Ähnliche Produkte

Computational Contact and Impact Mechanics
Computational Contact and Impact Mechanics
Produkt anzeigen
Sutherland, Stuart: SystemVerilog for Design Second Edition
Sutherland, Stuart: SystemVerilog for Design Second Edition
Produkt anzeigen
Atmospheric and Space Flight Dynamics: Modeling and Simulation with MATLAB® and Simulink®
Atmospheric and Space Flight Dynamics: Modeling and Simulation with MATLAB® and Simulink®
Produkt anzeigen
Guide to Process Based Modeling of Lakes and Coastal Seas
Guide to Process Based Modeling of Lakes and Coastal Seas
Produkt anzeigen
Conlan, Chris: The Blender Python API
Conlan, Chris: The Blender Python API
Produkt anzeigen
Guide to Process Based Modeling of Lakes and Coastal Seas
Guide to Process Based Modeling of Lakes and Coastal Seas
Produkt anzeigen
Menü