by Martín Abadi, Bruno Blanchet, Cédric Fournet
Reference:
Just Fast Keying in the Pi Calculus (Martín Abadi, Bruno Blanchet, Cédric Fournet), In ACM Transactions on Information and System Security (TISSEC), volume 10, 2007.
Bibtex Entry:
@string{tissec="ACM Transactions on Information and System Security (TISSEC)"}
@Article{AbadiBlanchetFournetTISSEC07,
author = {Mart{\'\i}n Abadi and Bruno Blanchet and C{\'e}dric Fournet},
title = {Just Fast Keying in the Pi Calculus},
journal = tissec,
year = 2007,
volume = 10,
number = 3,
pages = {1--59},
month = jul,
url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetFournetTISSEC07.pdf},
PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetFournetTISSEC07.pdf}
}