| Publisher | Springer Science+Business Media | ||
|---|---|---|---|
| Format | 502.2KB PDF | Date added | 11 Jun 2004 |
| Topics | XML, Web Services | ||
| Downloads | 12 | ||
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. This paper proposes a new specification language for writing complementary machine-checkable descriptions of SOAP-based security protocols and their properties. The TulaFale language is based on the pi calculus (for writing collections of SOAP processors running in parallel), plus XML syntax (to express SOAP messaging), logical predicates (to construct and filter SOAP messages), and correspondence assertions (to specify authentication goals of protocols). The implementation compiles TulaFale into the applied pi calculus, and then runs Blanchet's resolution-based protocol verifier. Hence, it can automatically verify authentication properties of SOAP protocols.
Did you find this white paper useful?
22 out of 50 users found this white paper useful
Related white papers
Getting Started with LINQ to XML
LINQ stands for Language Integrated Query. This new technology comes built into the NET Framework 3.5 and can be used with any of the different languages that run under NET....
Opening Access to Office Information With OOXML
As the leading ratings expert in a media market, this company's production consisted of sorting and processing large amounts of data to create Microsoft Power Point presentations of charts and...
Ontology-Based Semantic Metadata Validation
Much of the Semantic Web content is generated from databases, especially the instance data based on the ontology classes used in applications. A recurring problem is that the instance data...
Webinar on Blogging for Business
This webcast will explain what blogging means for your business and how you can "blog for business".
Experiments on Element and Document Statistics for XML Retrieval
This paper presents an information retrieval model on XML documents based on tree matching. Queries and documents are represented by extended trees. An extended tree is built starting from the...
Navigationless Database XML: Hierarchical Data Processing
XML data in standard database processing is not being used fully or correctly in business applications today. Current XML hierarchical database query processing is basically limited to single path linear...
A Generic, Reusable Solution for Marshalling Java Objects To/From XML
Solving the same problems over and over again can be quite tiring for a software engineer, yet the object persistence wheel has been reinvented more times than one would like...
