Sign in
Computational Secrecy by Typing for the Pi Calculus.
Martín Abadi
Ricardo Corin
Cédric Fournet
Published in:
APLAS (2006)
Keyphrases
</>
genetic algorithm
computational power
relational databases
security properties