3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Ioana Leustean, Bogdan Macovei
The formal analysis of security protocols is a challenging field, with various approaches being studied nowadays. The famous Burrows-Abadi-Needham Logic was the first logical syste…