C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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