Hiding names: Private authentication in the applied pi calculus (2003)

by Cédric Fournet , Martín Abadi
Venue:In Software Security – Theories and Systems. Mext-NSF-JSPS International Symposium (ISSS’02
Citations:24 - 3 self