安全模型推理| IEEE会议出版物| IEEE Xplore