Evolving a “Wise” integration system for e-commerce transactions

Adiele, Chima; Ehikioya, Sylvanus A.

doi:10.1016/j.elerap.2006.08.003

“…Determining semantic relationships between a set of objects in one schema and a different set of objects in another schema is central to the integration process; see Adiele and Ehikioya [3][4][5][6][7][8] for more details. Mapping results that are mathematically unsatisfying cannot be tolerated in an e-commerce environment where accuracy is of the essence.…”

Section: Introductionmentioning

confidence: 99%

A Formal Model of Distributed Security for Electronic Commerce Transactions Systems

Ehikioya¹,

Olukunle²

2019

IJNDC

Self Cite

View full text Add to dashboard Cite

Every distributed system requires a secure environment for its users. Security becomes even more important if users exchange sensitive information and value, across the network. An e-commerce environment is an example of a distributed system in which security is of a high priority. It is important that messages are confidential and tamper proof; users cannot repudiate transactions, and only authorized and properly authenticated users can access resources. These functionalities require proper security layer to provide access and sharing functions between the e-commerce systems and their respective customers. A Distributed Security Management System (DSMS) provides these services/functionalities. The DSMS is a security middleware for e-commerce servers, which coordinates secure communication, access and sharing of resources between the distributed applications, objects, databases and entities that make up the system. It is designed to provide an interface between clients and the databases of the merchants in a secure way, such that authorized clients can retrieve and send information to the system securely. It is required to have high quality and high tolerance for errors since the server is required to be always available continually. It must also have a user-friendly interface and feature set. The DSMS design discussed in this paper provides these requirements using public and private key systems, data encryption standard encryption, log files and a secure hashing algorithm. A prototype of the system was implemented using the Java security platform.

show abstract

“…Many researchers develop new technologies and methods on how to design these e-commerce systems. Some of them use some semi-formal specification such as UML, and formal specification such as algebraic signatures 26,27 and Z Notation 28,29 to specify and design e-commerce systems 2,30,31 . By specifying the systems formally, e-commerce systems become easier to understand, specify and design.…”

Section: E-commerce Applicationsmentioning

confidence: 99%

A Formal Model of Peer-to-Peer Digital Product Marketplace

Ehikioya¹

2018

IJNDC

Self Cite

View full text Add to dashboard Cite

Peer-to-peer (P2P) electronic commerce has become increasingly popular over the last few years. This popularity of P2P is due mainly to the many advantages it offers, such as the ease of sharing of computer resources and reducing cost. This paper uses both semi-formal and formal specification methods to model a P2P digital product marketplace. First, models are written in UML, as this is expected to be relatively easy to understand and economic. Then, the models are transformed into a formal notation, object-Z notation. A formally specified and verified model of e-commerce transactions will provide a correct, fail-safe, and robust transaction processing environment for ecommerce. By using both semi-formal and formal methods in the design of the P2P system, we can reason about and create a correct and reliable system quickly and efficiently.

show abstract

“…Many researchers develop new technologies and methods on how to design these e-commerce systems. Some of them use some semi-formal specification such as UML, and formal specification such as algebraic signatures 26,27 and Z Notation 28,29 to specify and design e-commerce systems 2,30,31 . By specifying the systems 3 , and these will not be repeated here.…”

Section: E-commerce Applicationsmentioning

confidence: 99%

A Formal Model of Peer-to-Peer Digital Product Marketplace

Ehikioya¹

2018

IJNDC

Self Cite

6

0

View full text Add to dashboard Cite

Peer-to-peer (P2P) electronic commerce has become increasingly popular over the last few years. This popularity of P2P is due mainly to the many advantages it offers, such as the ease of sharing of computer resources and reducing cost. This paper uses both semi-formal and formal specification methods to model a P2P digital product marketplace. First, models are written in UML, as this is expected to be relatively easy to understand and economic. Then, the models are transformed into a formal notation, object-Z notation. A formally specified and verified model of e-commerce transactions will provide a correct, fail-safe, and robust transaction processing environment for ecommerce. By using both semi-formal and formal methods in the design of the P2P system, we can reason about and create a correct and reliable system quickly and efficiently. application class. Napster attracted 38 million users within one year. P2P e-commerce represents a technological feature in ecommerce rather than an interaction between participants. P2P B2B e-commerce or P2P B2C ecommerce is possible, in which B2B / B2C represents the participants of e-commerce. P2P e-commerce applications are characterized by autonomy of each peer; peers communicate and transact business with unspecified and often un-trusted peers; and the existence of commercial transaction mechanism to facilitate commerce. The following additional features 3 characterize P2P e-commerce applications: distribution, decentralization, self-composing and individualization, and symmetric communication by majority of the peers.Recently, P2P-based publication and subscription systems appeared. The publish -subscribe system is a communication paradigm that supports many-to-many communication in a distributed environment, and it is often implemented on P2P infrastructure that enables information dissemination from publishers to subscribers. Liu, et al. 4 and Wang, et al. 5 discuss subscription mechanisms and the relevant security issues in the model.

show abstract

Evolving a “Wise” integration system for e-commerce transactions

Cited by 5 publications

References 10 publications

A Formal Model of Distributed Security for Electronic Commerce Transactions Systems

A Formal Model of Distributed Security for Electronic Commerce Transactions Systems

A Formal Model of Peer-to-Peer Digital Product Marketplace

A Formal Model of Peer-to-Peer Digital Product Marketplace

Contact Info

Product

Resources

About