Just Fast Keying in the Pi Calculus.

Martn Abadi, Bruno Blanchet, Cdric Fournet

Browse the full ESOP paper archive.