Author(s): LI Gai-cheng
Pages: 23
Year: 2009 Issue:  5
Journal: Netinfo Security
Keyword:  应用系统; 安全等级; 形式化方法; 规范; 求精;
Abstract: 形式化方法是提高系统安全等级必不可少的保障技术.然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及.本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程.