Zero-Knowledge Proofs of Connectivity for Labeled Directed Graphs Using Bilinear-Map Accumulator | IEEE Conference Publication | IEEE Xplore