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

摘要

形式化方法是提高系统安全等级必不可少的保障技术.然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及.本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程.