Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
ProVerif
CHF 49.75
Auf Lager
SKU
IQKRJ5MA5DF
1 Verfügbar 
Geliefert zwischen Do., 27.11.2025 und Fr., 28.11.2025
Details
High Quality Content by WIKIPEDIA articles! ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by Bruno Blanchet. Support is provided for cryptographic primitives including: symmetric & asymmetric cryptography; digital signatures; hash functions; bit-commitment; and signature proofs of knowledge. The tool is capable of evaluating reachability properties, correspondence assertions and observational equivalence. These reasoning capabilities are particular useful to the computer security domain since they permit the analysis of secrecy and authentication properties. Emerging properties such as privacy, traceability and verifiability can also be considered. Protocol analysis is considered with respect to an unbounded number of sessions and an unbounded message space. The tool is capable of attack reconstruction: when a property cannot be proved, an execution trace which falsifies the desired property is constructed.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131948336
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- EAN 9786131948336
- Titel ProVerif
- Herausgeber Betascript Publishing
- Anzahl Seiten 116
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
