27 search results - page 6 / 6 » Pattern-Based Specification and Validation of Web Services I... |
ESORICS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
JUCS
2008
13 years 9 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...