Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization | IEEE Conference Publication | IEEE Xplore