The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication.

Martín Abadi Bruno Blanchet Cédric Fournet

Published in: CoRR (2016)

Keyphrases

secure communication
digital images