Stéphanie Delaune: Formal Security Proofs

Formal Security Proofs

Hubert Comon-Lundh and Stéphanie Delaune. Formal Security Proofs. In Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann, editors, Software Safety and Security, NATO Science for Peace and Security Series -- D: Information and Communication Security, pp. 26–63, IOS Press, May 2012.

Download

[PDF]

Abstract

(unavailable)

BibTeX

@incollection{CD-nato12,
  author =        {Comon{-}Lundh, Hubert and Delaune, St{\'e}phanie},
  booktitle =     {Software Safety and Security},
  editor =        {Nipkow, Tobias and Grumberg, Orna and
                   Hauptmann, Benedikt},
  month =         may,
  pages =         {26-63},
  publisher =     {{IOS} Press},
  series =        {NATO Science for Peace and Security Series~--
                   D:~Information and Communication Security},
  title =         {Formal Security Proofs},
  volume =        {33},
  year =          {2012},
  nmonth =        {5},
  lsv-category =  {chap},
  wwwpublic =     {public and ccsb},
}