Securing Multiparty Online Services Via Certification of Symbolic Transactions