Skip to content
cs-conference-ranking.org

A semantic model for authentication protocols.

Thomas Y. C. Woo, Simon S. Lam

VenueA*SP
Year1993
ProceedingsS&P
DBLP recordconf/sp/WooL93 ↗

Browse the full SP paper archive.