Entry Bhargavan:2007:SSW 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{Bhargavan:2007:SSW,
  author =       "Karthikeyan Bhargavan and Ricardo Corin and C{\'e}dric
                 Fournet and Andrew D. Gordon",
  title =        "Secure sessions for {Web} services",
  journal =      j-TISSEC,
  volume =       "10",
  number =       "2",
  pages =        "8:1--8:??",
  month =        may,
  year =         "2007",
  CODEN =        "ATISBQ",
  DOI =          "https://doi.org/10.1145/1237500.1237504",
  ISSN =         "1094-9224 (print), 1557-7406 (electronic)",
  ISSN-L =       "1094-9224",
  bibdate =      "Thu Jun 12 17:52:05 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/tissec.bib",
  abstract =     "We address the problem of securing sequences of SOAP
                 messages exchanged between web services and their
                 clients. The WS-Security standard defines basic
                 mechanisms to secure SOAP traffic, one message at a
                 time. For typical web services, however, using
                 WS-Security independently for each message is rather
                 inefficient; moreover, it is often important to secure
                 the integrity of a whole session, as well as each
                 message. To these ends, recent specifications provide
                 further SOAP-level mechanisms. WS-SecureConversation
                 defines security contexts, which can be used to secure
                 sessions between two parties. WS-Trust specifies how
                 security contexts are issued and obtained. We develop a
                 semantics for the main mechanisms of WS-Trust and
                 WS-SecureConversation, expressed as a library for
                 TulaFale, a formal scripting language for security
                 protocols. We model typical protocols relying on these
                 mechanisms and automatically prove their main security
                 properties. We also informally discuss some pitfalls
                 and limitations of these specifications.",
  acknowledgement = ack-nhfb,
  articleno =    "8",
  fjournal =     "ACM Transactions on Information and System Security",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J789",
  keywords =     "Web services; XML security",
}

Related entries