定量信息流分析的近似和随机化| IEEE会议出版物| IEEE Xplore