信息网络安全
安全应用系统的形式化规范与求精过程研究
李改成
Security applications and the formal specification process of refinement
信息网络安全 . 2009, (5): 0 -0 .