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