Formal Verification on DNSSEC Cache - Core Func.
1.1Verification Time (h)DNSSECVerif
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DNSSECVerifProperty Description=Atomic Expiration & Refresh, Cache=true, Tool=Tamarin2025.12 | 1.1 | — | |
| DNSSECVerifProperty Description=Consistent Cache Hit Semantics, Cache=true, Tool=Tamarin2025.12 | 1.2 | — | |
| DNSSECVerifProperty Description=Strict Server Cache Partitioning, Cache=true, Tool=Tamarin2025.12 | 2.1 | — | |
| DNSSECVerifProperty Description=Provable Cache Miss Handling, Cache=true, Tool=Tamarin2025.12 | 6.7 | — |