Formal Verification on DNSSEC Cache - Liveness
27Verification Time (min)DNSSECVerif
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| DNSSECVerifProperty Description=Resource Reclamation, Cache=true, Tool=Tamarin2025.12 | 27 | — | |
| DNSSECVerifProperty Description=Termination Under Expiry, Cache=true, Tool=Tamarin2025.12 | 46 | — |