Partial Order Reduction for Branching Security Protocols | IEEE Conference Publication | IEEE Xplore