A Small Bank Intermediary Business System for Social Insurance Based on Tuxedo | IEEE Conference Publication | IEEE Xplore