Just fast keying in the pi calculus.

Martín Abadi Bruno Blanchet Cédric Fournet

Published in: ACM Trans. Inf. Syst. Secur. (2007)

Keyphrases

automated deduction
control system
algebraic structure
neural network
real world
expressive power
formal language
database query languages