components (e.g., verification of correctness of WS-Security implementations)
and security of communications between software components (e.g., secure
exchange of SOAP messages between web services). These tool classes are
listed in Table 5-13, as are additional classes of tools in this category.