软件安全性需求形式化建模和验证2019.11李震, 著 软件需求与可视化模型2016.(美) 乔伊·贝迪 (Joy Beatty) , (美) 安东尼·陈 (Anthony Chen) , 著 软件需求工程2019.4张燕, 李尤丰, 主编 软件需求工程2020.6李英梅, 丁云鸿, 主编 软件需求工程2018.10舒红平, 魏培阳, 主编 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 网络攻击形式化建模理论2010.7黄光球, 著 安全协议形式化分析与验证2019.10肖美华, 著 需求工程2013.9(德) 埃伯特 (Ebert,C.) , 著 需求工程2014.12骆斌, 主编 软件需求工程2012.3康雁, 主编 软件需求工程2013.3毋国庆, 等编著 软件需求分析实战2020.5杨长春, 著 群体智慧驱动的需求工程2015.12赖涵, 著 形式化方法导论2015.张广泉, 编著