Modeling and design of notarial system supporting secure transactions in electronic commerce based on the Internet | IEEE Conference Publication | IEEE Xplore