爱德华多·B·费尔南德斯 塞尔吉奥·穆吉卡 构建安全系统：从威胁到安全模式。 66-70 2010 SCCC公司 https://doi.org/10.109/SCCC.2010.36 https://doi.ieecomputersociety.org/10.109/SCCC.2010.36 2010年会议 db/conf/scc/scc2010.html#FernandezM10