Martín Abadi
Michael Burrows
Butler Lampson
Edward Wobber
ACM Transactions on Computer Systems
Authentication metric analysis and design