SAC04: Accepted Papers

6 A Secure Method for Signature Delegation to Mobile Agents Omaima Bamasak Ning Zhang
10 Formal Specification of Autonomous Commerce Agents Ismael Rodriguez
16 An Improved Formal Specification of the Internet Open Trading Protocol Chun Ouyang and Jonathan Billington
23 A New Signature Scheme: Joint-Signature Li-Sha HE, Ning ZHANG
27 An Anonymous Bonus Point System For Mobile Commerce Based On Word-Of-Mouth Recommendation Tobias Straub tstraub@cdc.informatik.tu-darmstadt.de Andreas Heinemann aheine@gkec.tu-darmstadt.de
33 A multicriteria model for electronic auctions Marie-Jo BELLOSTA, Imene BRIGUI, Sylvie KORNMAN, Daniel VANDERPOOTEN
35 Automated Test Scenarios Generation for an E-barter System Ana Cavalli and Stephane Maag
36 Automatic verification on e-commerce: Verifying the TLS HandShake protocol G. Díaz, F. Cuartero, V. Valero and F. Pelayo
39 A framework for the classification and the reclassification of electronic catalogs DOMENICO BENEVENTANO, STEFANIA MAGNANI
41 Web Services for E-commerce: guaranteeing security access and quality of service M. Bravetti, R. Lucchi, G. Zavattaro, R. Gorrieri


Server START Conference Manager
Update Time 29 Oct 2003 at 16:23:20
Maintainer fernando@sip.ucm.es.
Start Conference Manager
Conference Systems