题名	责任者	出版社	索书号
安全性设计分析与验证	主编赵廷弟	国防工业出版社	TP311.522/4418
软件安全分析与应用	苏璞睿, 应凌云, 杨轶编著	清华大学出版社	TP311.522/4412