Formal Aspects of Electronic Commerce: Research Issues and Challenges · Study