mirror of
https://github.com/Steffo99/appunti-magistrali.git
synced 2025-03-18 06:23:32 +00:00
5 lines
No EOL
436 B
Markdown
5 lines
No EOL
436 B
Markdown
[[procedura|Procedura]] per la dimostrazione formale dell'esistenza di una specifica [[garanzia]] in una data [[8 - Crittografia applicata/1 - Concetti/1 - Trovare soluzioni crittografiche/funzione]].
|
|
|
|
Gli esperimenti assumono la denominazione di *esperimento `ABC-XYZ`* dal codice della [[garanzia]] e della [[violazione]] che dimostrano.
|
|
|
|
Sono solitamente formulati come una competizione tra la [[squadra blu]] e la [[squadra rossa]]. |