Just fast keying in the pi calculus

Bruno Blanchet
Cédric Fournet
ACM Trans. Inf. Syst. Secur., 10 (2007)

Abstract