Stéphanie Delaune: Composition results for equivalence-based security properties

Composition results for equivalence-based security properties

Stéphanie Delaune and Steve Kremer. Composition results for equivalence-based security properties. Deliverable VIP 3.1 (ANR-11-JS02-0006), September 2015. 6 pages

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{vip-D41,
  author =        {Delaune, St{\'e}phanie and Kremer, Steve},
  howpublished =  {Deliverable VIP~3.1 (ANR-11-JS02-0006)},
  month =         sep,
  note =          {6~pages},
  type =          {Contract Report},
  title =         {Composition results for equivalence-based security
                   properties},
  year =          {2015},
  nmonth =        {9},
  lsv-category =  {cont},
  wwwpublic =     {rien},
}