Authentication in distributed systems: theory and practice
ACM Transactions on Computer Systems
Michael Burrows
Edward Wobber
Martín Abadi
Authentication metric analysis and design