Stéphanie Delaune: Formalising privacy-type security properties using the applied pi calculus

Formalising privacy-type security properties using the applied pi calculus

Rémy Chrétien and Stéphanie Delaune. Formalising privacy-type security properties using the applied pi calculus. Deliverable VIP 1.1, (ANR-11-JS02-0006), March 2013. 54 pages

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{vip-D11,
  author =        {Chr{\'e}tien, R{\'e}my and Delaune, St{\'e}phanie},
  howpublished =  {Deliverable VIP~1.1, (ANR-11-JS02-0006)},
  month =         mar,
  note =          {54~pages},
  type =          {Contract Report},
  title =         {Formalising privacy-type security properties using
                   the applied pi calculus},
  year =          {2013},
  nmonth =        {3},
  lsv-category =  {cont},
  wwwpublic =     {perso},
}