Design By Contract (DBC) is a systematic approach to specifying and implementing object-oriented software systems. DBC has been proved to greatly benefit software development. However, Java does not natively support DBC. We have developed a comprehensive solution to bring DBC into Java. The static and dynamic contract verifier is the most crucial part of the solution. We have developed a toolse...

In the current growth of information technology (IT), without realizing, smart cards have been brought as an ideal device for any transaction such as transportation, healthcare, ecommerce, telecommunication, banking and many other applications. Smart card improved the quality of services in terms of security and customization for users. Recognition of aspects which affect on smart card usage is...

Internet services such as online banking, social networking and other web services require identification and authentication means. The European Citizen card can be used to provide a privacy-preserving authentication for Internet services enabling e.g. an anonymous age verification or other forms of anonymous attribute verification. The Modular Enhanced Symmetric Role Authentication (mERA) base...

Smart cards improve the convenience and security of any transaction. They provide tamper-proof storage of user and account identity. Multifunction cards are used to manage network system access, store value and other data. The cards carry personal account, credit and buying-preference information and thus, security becomes a primary issue here. Public Key Cryptography plays an essential role in...

To secure information from unauthorized access, various authentication schemes have been deployed. Among these, password based authentication schemes using smart card are widely used for various applications such as remote user login, online banking, ID verification, access control and e-commerce. It provides mutual authentication between user and server. However, previous schemes are vulnerabl...

This paper is concerned with the business strategy in managing payment innovations. Particularly, the study looks at the smart card electronic cash (e-cash) innovation in the financial service industry. The smart card e-cash has yet to overcome obstacles to its diffusion. Given the e-commerce opportunity, banks and non-banks compete to deploy smart card technology for Internet use. A review of ...

Phishing is a form of online fraud that aims to steal a user’s sensitive information, such as online banking passwords or credit card numbers. The victim is tricked into entering such information on a web page that is crafted by the attacker so that it mimics a legitimate page. Recent statistics about the increasing number of phishing attacks suggest that this security problem still deserves si...

Smart cards are commonly used for tasks with high security requirements such as digital signatures or online banking. However, systems that Web-enable smart cards often reduce the security and usability characteristics of the original application, e.g., by forcing users to execute privileged code on the local terminal (computer) or by insufficient protection against malware. In this paper we co...

After discussing the concept of DUKPT based symmetric encryption key management (e. g. , for 3DES) and definition of cloud or remote wallet, the paper analyses applicability of DUKPT to different use cases like mobile banking, NFC payment using EMV contactless card and mobile based EMV card emulation, web browser based transaction and cloud or remote wallet. Cloud wallet is an emerging payment ...

The decrease in the rate of legal proceedings for the bank loans in the last two years caused an increase in the importance of efficiency along with a decrease in financial resources. When it is paid attention to the distribution in the rate of non-performing loan, it is seen that the most important share belongs to credit cards. Efficient risk management in banking and efficient use of resourc...