Improving automated protocol verification: real world cryptography (University of Oxford, 2020)

(untitled) - Jackson, D