A graded fuzzy Dolev-Yao model with μ_K in [0,1] and product T-norm leak updates reveals threshold-driven safe-to-fail transitions in protocols like NSL that binary models miss.
Springer Berlin Heidelberg, Berlin, Heidelberg
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
A graded fuzzy Dolev-Yao model with μ_K in [0,1] and product T-norm leak updates reveals threshold-driven safe-to-fail transitions in protocols like NSL that binary models miss.