Just fast keying in the pi calculus

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

Abstract

Research Areas