使用不变属性评估基于错误注入的协议实现稳健性测试结果| IEEE会议出版物| IEEE Xplore