We introduce application layer specifications, which allow us to reason about the state and transactions of rich Internet applications. We define variants of the state/event based logic UCTL* along with two example applications to demonstrate this approach, and then look at a distributed, rich Internet application, proving properties about the information it stores and disseminates. Our approac...

The security risks of Internet banking have always been a concern to the service providers and users. There has been a global trend to adopt a multi-factor authentication scheme to increase the security of Internet banking. However, the introduction of two-factor authentication has not been well received. Particularly, there has been a conception that it creates barriers to Internet banking use...

Background: Electronic transactions are another form of transactions that are done through electronic tools such as mobile phones, computers, tablets, etc. Considering the synchronization of Iranchr('39')s economic system with the world and meeting the needs of the day, ensuring the correct conclusion of electronic transactions with the correct and ethical use of options is explored. The presen...

As more and more companies conduct business with each other over the Internet, interoperable trust frameworks become important. For many businesses, trust provision is a critical issue in commencing B2B commerce transactional services. Communication over the Internet is by default open and uncontrolled and conflicts with the business needs of digital business. Privacy, confidentiality and integ...

In its current form, the Internet is primarily a source of communication, information and entertainment but increasingly also a vehicle for commercial transactions. An understanding of reasons for purchasing on the World Wide Web is particularly relevant in the context of predictions made regarding electronic shopping in the future. In the paper, the antecedents to electronic exchange in the on...

Firstly this paper gives an introduction to the current C2C e-commerce transactions in China and gives a review of relevant theories and research. Then, we proposed a new method that AHP and fuzzy comprehensive evaluation method of combining, and discuss the methods used in this risk assessment of the feasibility of e-commerce transactions. Finally, an instance of the application of this method...

Image on the internet is an object of copyright protection and a work that arises from someone's idea. This study aims to examine image used illegally for commercial purposes by designer filter Instagram Stories. To solve problem, this research uses normative juridical method, especially descriptive analytical analyzing Copyright Law Number 28 2014 Information, Electronic Transactions 11 2008. ...

We propose a software framework for non-repudiation service in e-commerce (electronic commerce) on the Internet. The proposed software framework is an explicit security framework for notary service. In the framework we propose a systematic design methodology that provides a security class concept. Our framework can be differentiated from others. First, unlike other frameworks, it is interested ...

Although the overall investment in information technology (IT) decreased during the first few years of the 21st century, B2B e-commerce continued to expand at a rapid rate (Lim & Wen, 2002). The expansion of B2B e-commerce has been based to a large extent on accounting and enterprise-wide information systems (EISs) that permit electronic data transmission and execution of transactions in an eff...

Will the Internet redefine the "core" and the "periphery," creating a new geography, with neighborhoods connected not with streams and roads but with wires and microwave transmissions? An analogy to previous transportation and communications improvements is frequently made today: the transportation revolution of the 20th century permitted the deagglomeration of much physical production, and the...