Case study: B2B e-commerce system specification and implementation employing use-case diagrams, digital signatures and XML | IEEE Conference Publication | IEEE Xplore