1 古天龙,蔡国永,《软件开发中的形式化方法》,高等教育出版社,2005. 2.古天龙,蔡国永,《网络协议的形式化分析与设计》,电子工业出版社,2003. 3.李建华主编,《网络安全协议的形式化分析与验证》,机械工业出版社,2010. 4.韩俊刚,杜慧敏,《数字硬件的形式验证》,北京大学出版社,2001. 5.Dines Bjorner著,《软件工程》卷一:抽象与建模;卷二:系统与语言规约. 清华大学出版社, 2012. 6. Jean-Francois Monin, 《Understanding Formal methods》,Springer, 2003. 7. 冯登国,《安全协议-理论与实践》,清华大学出版社,2011. 8. Doron A.Peled 著, 王林章 译, 《软件可靠性方法》,机械工业出版社,2012. 9. 寇晓蕤,王清贤,《网络安全协议-原理、结构和应用》,高等教育出版社,2011 |