A logic of authentication. Rep (1989)

by M BURROWS, M ABADI, R M NEEDHAM
Venue:39, Digital Equipment Corporation Systems Research