PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation.

Yuxin Fan Fu Song Taolue Chen Liangfeng Zhang Wanwei Liu

Published in: CAV (1) (2022)

Keyphrases

security policies
access control
network security
security management
distributed systems
scalar product
security requirements
privacy preserving
computer networks
databases
privacy preserving data mining
access control policies