有效表示和验证证明| IEEE会议出版物| IEEE Xplore