Weakening the Dolev-Yao model through probability.

Riccardo Bresciani, Andrew Butterfield

Browse the full SIN paper archive.