Many researchers have looked at the problem of verifying e-commerce protocols, but much work remains to be done. On the final, I present the trends for the utilization of formal methods for the verification of modern complicated protocols and protocol suites for the real commercial world.

Phishing has grown significantly in volume over the time, becoming the most usual web threat today. The present economic crisis is an added argument for the great increase in number of attempts to cheat internet users, both businesses and private ones. The present research is aimed at helping...

The future of mobile banking will be represented by such applications that support mobile, Internet banking and EFT (Electronic Funds Transfer) transactions in a single user interface. In such a way, the mobile banking will be able to cover all the types of applications demanded at the market...

The mobile banking involves the use of some mobile telecommunication devices (such phones or PDAs - Personal Digital Assistants) in order to complete, in a secure manner, banking transactions (like payments, transfers, account information and so on). It doesn't matter where the user is...

Internet Banking (known also as online banking) allows performing transactions and payments over the internet through a bank's secure website. This can be very useful, especially for banking outside bank hours (which tend to be very short) and banking from anywhere where internet access is...