The Web Service Choreography Interface (WSCI) describes the observable behavior of a Web Service and the collective message exchange among interacting Web Services. However, WSCI does not address the definition and the implementation of the internal processes that actually drive the message exchange. In order to describe and compose a global view of the dynamic of the message exchange by understanding the interactions with the web service, this paper presents the process and result of modeling web service choreography and orchestration with colored Petri nets (CPNs) on the basis of analysis, simplicity and composition of WSCI. The colored Petri nets model of a typical use case "Plan and Book Trip" is constructed, whose correctness is validated by the simulation analysis of Message Sequence Chart (MSC).Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing 0-7695-2909-7/07 $25.00

No abstract

As the Internet becoming popular, many sectors such as banking and other financial institutions are adopting e-services and improving their Internet services. However, the e-service requirements are also opening up new opportunity to commit financial fraud. Internet banking fraud is one of the most serious electronic crimes (e-crimes) and mostly committed by unauthorised users. This paper presents a new dynamic key generation scheme that facilitates a fraud prevention mechanism. In the proposed scheme, a combination of a biometric feature such as a fingerprint and smart card is used to effectively confirm the users' identity and prevents illegal attempts. It also eliminates the need for storing a long-term shared key which makes the system insecure during transactions. We show that the new scheme is secure against various kinds of attacks. Keywords: Internet Banking payment, key generation, fraud, payment systems

No abstract

No abstract