Just Fast Keying in the Pi Calculus

Abadi, Martín; Blanchet, Bruno; Fournet, Cédric

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}
}