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

Security applications and the formal specification process of refinement

作　　者：李改成[1] 

机构地区：[1]北京大学软件与微电子学院信息安全系,北京102600

出　　处：《信息网络安全》2009年第5期24-27,共4页Netinfo Security

摘　　要：形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以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.

关 键 词：应用系统 安全等级 形式化方法 规范 求精 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]