安全协议的验证互操作实现| IEEE会议出版物| IEEE Xplore