Skip to content

A Formal Framework for Authentication.

Colin Boyd

Year1992
ProceedingsESORICS

Browse the full ESORICS paper archive.