Security protocol analysis on 5G Handover EPS N26 protocol
17.3Average Proof SizeTamRL
Evaluation Results
| Method | Links | |
|---|---|---|
| TamRLHeuristic=RL, Context=Intersection c/s ∩ RL2026.05 | 17.3 | |
| TamRLHeuristic=RL, Lemma Intersection Set=c/s ∩ RL2026.05 | 17.3 | |
| TamRLHeuristic=RL, Context=Full Set2026.05 | 24.4 | |
| TamRLHeuristic=RL, Context=Intersection Orig. ∩ RL2026.05 | 24.4 | |
| TamRLHeuristic=RL, Lemma Intersection Set=Orig. ∩ RL2026.05 | 24.4 | |
| Orig.Heuristic=Orig., Context=Full Set2026.05 | 85.8 | |
| Orig.Heuristic=Orig., Context=Intersection Orig. ∩ RL2026.05 | 85.8 | |
| Original HeuristicHeuristic=Orig., Lemma Intersection Set=Orig. ∩ RL2026.05 | 85.8 | |
| c/sHeuristic=c/s, Context=Intersection c/s ∩ RL2026.05 | 9,531.7 | |
| Tamarin Heuristic (c/s)Heuristic=c/s, Lemma Intersection Set=c/s ∩ RL2026.05 | 9,531.7 | |
| cHeuristic=c, Context=Full Set2026.05 | 9,532.7 | |
| sHeuristic=s, Context=Full Set2026.05 | 9,932.3 |