Explicit Communication in Authentication: Two New Examples (1997)

by M Abadi
Venue:IEEE Transactions on Software Engineering