摘要
形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。
The formalized method enhances the system safety rank essential safeguard technology.However, as a result of many reasons, it still was not popular in the safe application system performance history application.This article take the Z language as a backing, take the Mondex electron wallet system as the model, the discussion formalization method in the safe application system performance history application method and the process.
出处
《信息网络安全》
2009年第5期24-27,共4页
Netinfo Security
关键词
应用系统
安全等级
形式化方法
规范
求精
Application system
Security rating
Formalized method
Standard
Asks the essence
