Efficient Zero-Knowledge Proofs of Graph Signature for Connectivity and Isolation Using Bilinear-Map Accumulator. - Toru Nakanishi 001; Hiromi Yoshino; Tomoki Murakami; Guru-Vamsi Policharla (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)