信息网络安全

›› 2009, Vol. 9 ›› Issue (5): 0-0.

• 信息网络安全 •    

安全应用系统的形式化规范与求精过程研究

李改成   

  • 作者简介:北京大学软件与微电子学院信息安全系,北京,102600
  • 基金资助:
    NULL

Security applications and the formal specification process of refinement

LI Gai-cheng   

PDF (PC)

98

摘要： NULL

Abstract: NULL