3 search results - page 1 / 1 » A Formal Analysis of the Web Services Atomic Transaction Pro... |
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
WECWIS
2005
IEEE
13 years 10 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...