Formal Verification on DNSSEC Data Auth. & Integrity
10Verification Time (h)DNSSECVerif
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| DNSSECVerifProperty Description=Integrity Preservation, Cache=true, Tool=Tamarin2025.12 | 10 | — | |
| DNSSECVerifProperty Description=Data Origin Authentication, Cache=true, Tool=Tamarin2025.12 | 12 | — | |
| DNSSECVerifProperty Description=Record Validation, Cache=true, Tool=Tamarin2025.12 | 15 | — |