块密码实现的自动形式验证| IEEE会议出版物| IEEE Xplore