Jump to Content

Just fast keying in the pi calculus

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

Abstract

Research Areas