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

Guide to Process Based Modeling of Lakes and Coastal Seas
Guide to Process Based Modeling of Lakes and Coastal Seas
Produkt anzeigen
Guide to Process Based Modeling of Lakes and Coastal Seas
Guide to Process Based Modeling of Lakes and Coastal Seas
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
Sutherland, Stuart: SystemVerilog for Design Second Edition
Sutherland, Stuart: SystemVerilog for Design Second Edition
Produkt anzeigen
Computational Contact and Impact Mechanics
Computational Contact and Impact Mechanics
Produkt anzeigen
Conlan, Chris: The Blender Python API
Conlan, Chris: The Blender Python API
Produkt anzeigen
Menü