증명 가능한 안전성을 지닌 브로드캐스트 암호에서 무제한 사용자 탈퇴 방법을 제공하는 공모자 추적 기법