3 citations · 5 across the 6 of their papers we have counts for
1 paper · 2 filters
Ralf Kuesters, Tomasz Truderung
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils do…