Formal Verification on DNSSEC Cache Consistency
2.6Verification Time (h)DNSSECVerif
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DNSSECVerifProperty Description=State Synchronization, Cache=true, Tool=Tamarin2025.12 | 2.6 | — | |
| DNSSECVerifProperty Description=Mutual Exclusion via Locks, Cache=true, Tool=Tamarin2025.12 | 3.7 | — |