Entry Abadi:2007:JFK from tissec.bib

Last update: Sun Oct 15 02:58:48 MDT 2017                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Abadi:2007:JFK,
  author =       "Mart{\'\i}n Abadi and Bruno Blanchet and C{\'e}dric
                 Fournet",
  title =        "Just fast keying in the pi calculus",
  journal =      j-TISSEC,
  volume =       "10",
  number =       "3",
  pages =        "9:1--9:??",
  month =        jul,
  year =         "2007",
  CODEN =        "ATISBQ",
  DOI =          "https://doi.org/10.1145/1266977.1266978",
  ISSN =         "1094-9224 (print), 1557-7406 (electronic)",
  ISSN-L =       "1094-9224",
  bibdate =      "Thu Jun 12 17:52:14 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/tissec.bib",
  abstract =     "JFK is a recent, attractive protocol for fast key
                 establishment as part of securing IP communication. In
                 this paper, we formally analyze this protocol in the
                 applied pi calculus (partly in terms of observational
                 equivalences and partly with the assistance of an
                 automatic protocol verifier). We treat JFK's core
                 security properties and also other properties that are
                 rarely articulated and rigorously studied, such as
                 plausible deniability and resistance to
                 denial-of-service attacks. In the course of this
                 analysis, we found some ambiguities and minor problems,
                 such as limitations in identity protection, but we
                 mostly obtain positive results about JFK. For this
                 purpose, we develop ideas and techniques that should be
                 more generally useful in the specification and
                 verification of security protocols.",
  acknowledgement = ack-nhfb,
  articleno =    "9",
  fjournal =     "ACM Transactions on Information and System Security",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J789",
  keywords =     "IP security; key exchange; process calculus",
}

Related entries