基于符号EVBDD的安全多方计算 (Secure Multi-party Computation Based on Symbolic Edge-valued Binary Decision Diagram).