Modeling and design of notarial system supporting secure transactions in electronic commerce based on the Internet